Call for Participation (Continuations Workshop CW'01)

• To: icfp@dcs.gla.ac.uk, seworld@cs.colorado.edu, scheme@mc.lcs.mit.edu, eapls-request@mailbase.ac.uk, erlang-questions@erlang.org, types@cis.upenn.edu, pept@venus.is.s.u-tokyo.ac.jp
• Subject: Call for Participation (Continuations Workshop CW'01)
• From: Amr Sabry <sabry@cs.indiana.edu>
• Date: Wed, 22 Nov 2000 11:10:27 -0500
• Delivery-Date: Wed Nov 22 16:07:05 2000
• Newsgroups: comp.lang.scheme, comp.lang.functional, comp.lang.ml, comp.compilers

                        Call for Participation

       The Third ACM SIGPLAN Workshop on Continuations (CW'01)
                    London, England, Jan. 16, 2001
      Collocated with POPL '01 (Jan. 17, 2001 -- Jan. 19, 2001)

                http://www.cs.indiana.edu/~sabry/cw01/

The notion of continuations is ubiquitous in many different areas of
computer science, including category theory, compilers, logic,
operating systems, programming, and semantics.

Following on the 1992 and 1997 ACM SIGPLAN Workshops on Continuations
(http://www.brics.dk/~cw97/), we are organizing a new workshop to
provide a forum for the presentation and discussion of new results and
work in progress aimed at a better understanding of the nature of
continuations, the relation of continuations to other areas of logic
and computer science, and exciting new applications of continuations
in contexts such as mobile threads, simulation, distributed systems,
graphical user interfaces, and education.

The workshop will include seven contributed papers and two invited talks. 
To register for the workshop, please go to the POPL 2001 web page.  

Prelimimary Programme:

Session I: 9:00-10:15
        Invited Speaker: Chris Wadsworth

Session II: 10:30-12:00
        Local CPS conversion in a direct-style compiler, 
        John Reppy
 
        Interconnecting Between CPS Terms and Non-CPS Terms, 
        Jung-taek Kim and Kwangkeun Yi 

        Comparing Control Constructs by Typing Double-barrelled CPS Transforms,
        Hayo Thielecke 

12:00-2:00 Lunch

Session III: 2:00-3:15
        Invited Speaker: TBA

Session IV: 3:30-5:30

        Towards Logical Understanding of Delimited Continuations, 
        Yukiyoshi Kameyama 

        CPS Transformation of Beta-Redexes, 
        Olivier Danvy and Lasse R. Nielsen 

        An Extensional CPS Transform, 
        Andrzej Filinski 
  
        The Affine Usage of Continuations, 
        Josh Berdine, Peter W. O'Hearn, Hayo Thielecke 

• Prev: Fool 8: Call for Participation
• Next: CMCS 2001 - Call for Papers
• Index(es):
  • Main
  • Thread