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

[David Van Horn]

-------- Original Message --------
Subject: [TYPES/announce] Announcement of HOPA: A Workshop on 
Higher-Order Program Analysis
Date: Mon, 8 Apr 2013 13:35:43 +0100
From: Matthew Hague <matthew.hague at rhul.ac.uk>
To: types-announce at lists.seas.upenn.edu

[ The Types Forum (announcements only),
      http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


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&eacute;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