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.

News

The workshop program and submissions are now available.

Important Dates

  • Submission deadline [EXTENDED]: 17 June, 2015.
  • Notification: 19th June, 2015.
  • Main event: 4th July, 2015.

Invited Speakers

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. 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:

Program Chairs

Program Committee

Steering Committee

Contact Details

All enquires can be directed at: matthew.hague !! rhul ac uk (where !! is @ and spaces are .s).

Make Your Own Poster

To make a personalised poster for the workshop that can be (proudly) displayed in both in your office corridors and on your fridge at home, follow the steps below.

In Firefox, you can suppress the page URL, title, &c using the "Options" tab in the File->Print dialog box. The standard print margins work fine.

Kangaroo Credits

The kangaroo picture is derived from a picture on KidsPlayColor. The colouring idea is mainly stolen, without permission, from The Color.