2015 Workshop on Continuations (WoC 2015)
Satellite event of ETAPS 2015
April 12, 2015
London, UK

The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and constructive mathematics. WoC 2015 offers a forum for the presentation and discussion of continuation-based constructs in programming languages, whether in the style of Curry (terms first, types later (maybe)) or in the style of Church (types first, typed terms later). We specifically welcome the presentation of elegant motivating examples.

Pre-proceedings: [bonbons, caramels, esquimaux, chocolats] [bonbons, caramels, esquimaux, chocolats] [bonbons, caramels, esquimaux, chocolats]

Invited talk: [invited talk]
Tristan Crolard: A verified abstract machine for functional coroutines

Distilled tutorials: [distilled tutorials]
Gabriel Kerneis: Why all programmers want continuations (but use callbacks instead)
Hayo Thielecke: Command injection attacks, continuations, and the Lambek calculus
Serguei Lenglet: Bisimulations for delimited-control operators
Jay McCarthy: Theory and application of continuation marks [cancelled]
Alexis Saurin: Logical by need

Programme: [bonbons, caramels, esquimaux, chocolats]

Program committee:
Zena Ariola, University of Oregon, USA
Dariusz Biernacki, University of Wroclaw, Poland
Olivier Danvy (chair), Aarhus University, Denmark
Mayer Goldberg, Ben Gurion University, Israel
Tadeusz Litak, FAU Erlangen-Nürnberg, Germany
Jay McCarthy, Vassar College, USA
Christian Queinnec, Université Pierre et Marie Curie, France
Tiark Rompf, Purdue University, USA
Alexis Saurin, CNRS & Université Paris Diderot -- Paris 7, France
Hayo Thielecke University of Birmingham, UK

General Chair:
Ugo de'Liguoro, University of Torino, Italy

Key dates:
Submission through EasyChair: on or before January 22, 2015
Notification: February 16, 2015
Pre-proceedings version of accepted papers due: March 1, 2015
Submission to post-reviewed proceedings in EPTCS: TBA

[Valid HTML 4.01 Transitional]
Last update: 10 Apr 2015, danvy@cs.au.dk