Workshop on Continuations 2015 (WoC'15)

Satellite event of ETAPS 2015

London, April 12th 2015

The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and constructive mathematics. In fact the concept of continuation nicely realizes sophisticated control mechanisms, which are widely used in a variety of applications. Since we cannot escape control features, it becomes a challenge to provide them with sound reasoning principles. Indeed there is much research activity on understanding, representing, and reasoning about elaborated non-local control structures, in particular in declarative programming languages such as functional and logic languages.

WoC 2015 is a new venue, continuing and broadening the scope of COS'13, held in Eindhoven. 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.

Key dates:
Submission through EasyChair: January 22, 2015
Notification: February 14, 2015
Pre-proceedings version of accepted papers due: March 1, 2015
Submission to post-proceedings in EPTCS: June 7th (new)

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-Nuernberg, 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 and organizer:
Ugo de'Liguoro, University of Torino, Italy