[PRL] Fwd: [TYPES/announce] CFP: HOPA Workshop on Higher Order Program Analysis, FLoC 2014

[David Van Horn]

-------- Original Message --------
Subject: [TYPES/announce] CFP: HOPA Workshop on Higher Order Program
Analysis, FLoC 2014
Date: Tue, 25 Feb 2014 11:16:39 +0000
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 ]


HOPA: Workshop on Higher-Order Program Analysis
Vienna University of Technology, Austria
18th July, Part of FLoC 2014
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: 9th May, 2014.
Notification: 21st May, 2014.
USB-ready versions: 30th May, 2014.
Main event: 18th July, 2014.


Invited Speakers
----------------

Anders Møller, Aarhus University, Denmark
Grigore Rosu, University of Illinois at Urbana-Champaign, USA


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.


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=hopa2014


Program Chairs
--------------

    Luke Ong, University of Oxford, UK
    David Van Horn, University of Maryland, USA


Program Committee
-----------------

    Cormac Flanagan, University of California, USA
    Francesco Logozzo, Microsoft Research, USA
    Steven Ramsay, University of Warwick, UK
    Tachio Terauchi, Nagoya University, Japan
    Takeshi Tsukada, Oxford University, UK
    Dimitris Vardoulakis, Google


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


Contact Details
---------------

All enquires can be directed at matthew.hague at rhul.ac.uk.