CW'04 Call for Participation

Hayo Thielecke <H.Thielecke@cs.bham.ac.uk> · Thu, 27 Nov 2003 16:18:47 +0000 (GMT)

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

 
 
       The Fourth ACM-SIGPLAN Continuations Workshop (CW'04) 
                  Venice, Italy, 17 January 2004            
           co-located with POPL'04 (14--16 January 2004) 
 
           http://www.cs.bham.ac.uk/~hxt/cw04/index.html 
 
 
Invited talks 
------------- 
 
    * Olivier Danvy (Aarhus, Denmark) 
      On Evaluation Contexts, Continuations, and the Rest of the 
      Computation 
 
    * Chris Barker (Department of Linguistics, University of California) 
      Continuations and Natural Language 
 
Accepted papers 
--------------- 
 
    * Magorzata Biernacka, Dariusz Biernacki, and Olivier Danvy 
      An Operational Foundation for Delimited Continuations 

    * Kohei Honda, Nobuko Yoshida and Martin Berger 
      A Definability Result for the lambda-mu-Calculus in the pi-Calculus 

    * Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power 
      Combining continuations with other effects 

    * Yukiyoshi Kameyama 
      Axiomatizing Higher Level Delimited Continuations 

    * Chung-chieh Shan 
      Delimited continuations in natural language: Quantification and 
      polarity sensitivity  
 
Registration 
------------ 
 
Please register at the POPL registration page: 
 
http://www.regmaster.com/popl2004.html