[TYPES/announce] Higher Order Program Analysis (HOPA), Kyoto, July 4th, EXTENDED DEADLINE

[Matthew Hague]

The submission deadline for the 3rd workshop on Higher Order Program Analysis,
to be held in Kyoto, July 4th, has been extended to June 17th.  

    HOPA 
    Workshop on Higher-Order Program Analysis 
    Kyoto, Japan 
    4th July, Part of LICS/ICALP 2015 
    http://hopa.cs.rhul.ac.uk

    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: 31st May, 2015.  
        Notification: 7th June, 2015.  
        Main event: 4th July, 2015.

    Invited Speakers

        Hiroshi Unno, University of Tsukuba, Japan 
        Andrzej Murawski, University of Warwick, UK

    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 on the FLoC USB stick. 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.  

    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.

         https://easychair.org/conferences/?conf=hopa2015

    Program Chairs

        Matthew Hague, Royal Holloway University of London, UK

    Program Committee

        Lars Bergstrom, Mozilla, USA 
        Michael Greenberg, Princeton University, USA
        Atsushi Igarashi, Kyoto University, Japan 
        Sylvain Salvati, INRIA, Bordeaux, France 
        Ryosuke Sato, Tokyo University, Japan 
        Olivier Serre, LIAFA, France
        Tachio Terauchi, JAIST, Japan 
        Mitchell Wand, Northeastern University, USA

    Steering Committee

        Matthew Hague, Royal Holloway University of London, UK 
        Ranjit Jhala, University of California, USA 
        Naoki Kobayashi, University of Tokyo, Japan 
        Luke Ong, University of Oxford, UK 
        David Van Horn, University of Maryland, USA

    Enquiries can be made to matthew.hague at rhul.ac.uk


Regards,

Matthew Hague