[TYPES/announce] WoC'15, Workshop on Continuations - Call for participation

Ugo de' Liguoro deligu at di.unito.it
Fri Feb 13 10:52:45 EST 2015


                         CALL FOR PAPERS
                             WoC'15
                  Workshop on Continuations
                     12th April 2015, London, UK
                         Affiliated to ETAPS
                     http://woc2015.di.unito.it/


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.

** Topics of Interest **

Specific topics of interest include, but are not limited to:

*	continuations and delimited continuations
*	continuation based programming language constructs
*	categorical and algebraic models of continuations
*	compositionality and modularity of continuations
*	denotational semantics of control, event structures and causality
*	operational semantics and abstract machines
*	type systems for continuation-based constructs
*	game semantics of programming languages and of logical proofs
*	usage of continuations in proof search and proof mining
*	semantics of control operators in logic programming
*	continuations in web-services


** Important Dates **

Registration is from the ETAPS site:

http://www.etaps.org/index.php/2015/registration

* Early registration from 20 January 2015 to 14 February 2015.
* Normal registration from 15 February 2015 to 10 March 2015.
* Late registration from 11 March 2015 to 10 April 2015.
* On-site registration from 11 April 2015 to 18 April 2015.

Workshop date: 12th April, 2015


** Programme Committee **

Program Committee:
Zena Ariola, University of Oregon, USA
Dariusz Biernacki, University of Wroclaw, Poland
Olivier Danvy, Aarhus University, Denmark (chair)
Mayer Goldberg, Ben Gurion University, Israel
Tadeusz Litak, FAU Erlangen-Nuernberg, Germany
Jay McCarthy, Vassar College, USA
Christian Queinnec, Universié 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


** Organiser **

Ugo de'Liguoro, University of Turin
ugo.deliguoro at unito.it




More information about the Types-announce mailing list