[TYPES/announce] Announcement of HOPA: Workshop on Higher-Order Program Analysis, 4th July, Kyoto, Japan (LICS/ICALP)

[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 
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 
    Andrjez 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