[TYPES/announce] Announcement of HOPA: A Workshop on Higher-Order Program Analysis

[Matthew Hague]

Please find below the call for submissions for HOPA, a workshop on
higher-order program analysis.

Best regards,

Matthew Hague



HOPA
Workshop on Higher-Order Program Analysis
Tulane University, New Orleans, USA
28th-29th June, hosted by LiCS 2013
http://hopa.cs.rhul.ac.uk
        
Call for Submissions
        
            
The HOPA workshop aims to bring together the various growing communities
involved in the analysis of higher-order programs.  The focus of the workshop is
both on tools and techniques for practical analysis, and on the dissemination of
new theoretical results.  
            

Important Dates
                
    Submission deadline: 10th May, 2013.
    Notification: 15th May, 2013.
    Main event: 28th (afternoon) -- 29th (morning) June, 2013.
                
            
Invited Speakers
            
    Suresh Jagannathan, Purdue University, USA
    Neil Jones, University of Copenhagen, Denmark


Scope
            
    Submissions are encouraged in the form of tool presentations, exposition of
    best results, and topic tutorials or surveys.  The emphasis is on building
    bridges between communities.  Areas include but are by no means limited to
    the theory and practice of
                
        k-CFA, CFA2 and its variants,
        Higher-order and collapsible pushdown systems
        Higher-order recursion schemes,
        Liquid types,
        Refinement types,
        Static analysis of higher-order programs,
        Symbolic execution of higher-order programs, and
        Verification of higher-order programs.
            

Publication
            
    There will be no formal proceedings of the workshop.  Work presented may be
    submitted elsewhere for formal publication, or, indeed, may have already
    been formally published.  Abstracts will be made available online via this
    website and <a href="http://www.arxiv.org">ArXiv.org.  We encourage
    participants with analysis tools to make these tools available on our
    website.  This can be done either by providing us with source tarballs or
    zip files, or by providing us with links to the tool homepage as part of the
    submission.
            

Submission
            
    Submissions may range from 1 page abstracts through to 15 page tutorials or
    surveys in the llncs format.  Please indicate on your submission how long
    you would like to talk for.  This may range from 10 minutes for cool new
    ideas, or 45-60 minutes for full tutorials or surveys.
                
    Submission will be via easychair, via the following link: 
                
                 https://www.easychair.org/conferences/?conf=hopa2013 .
                
            
Program and Organising Committee
            
    Christopher Broadbent, University of Tokyo, Japan
    Arnaud Carayol, LIGM, Marne-la-Vallée, France
    Matthew Hague, Royal Holloway University of London, UK
    Ranjit Jhala, University of California, USA
    Naoki Kobayashi, University of Tokyo, Japan
    Matthew Might, University of Utah, USA
    Luke Ong, University of Oxford, UK
    Hiroshi Unno, University of Tsukuba, Japan
    David Van Horn, Northeastern University, USA
                
            
Contact Details
            
    All enquires can be directed at: matthew.hague at rhul.ac.uk