ICCPL-workshop

• To: types@cis.upenn.edu
• Subject: ICCPL-workshop
• From: LICS <lics@cs.indiana.edu>
• Date: Fri, 28 Aug 1998 19:45:00 -0500 (EST)

CALL FOR PARTICIPATION

                 IMPLICIT COMPUTATIONAL COMPLEXITY
         IN PROGRAMMING LANGUAGE DESIGN AND METHODOLOGY

                 A Workshop affiliated with the 
     1998 International Conference on Functional Programming (ICFP)

                 Mt Washington Conference Center
                         Baltimore, MD
                   Saturday, September 26, 1998
                   (ICFP dates September 27-29)

WORKSHOP WEB PAGE: simon.cs.cornell.edu/Info/Projects/NuPrl/Workshop/


PURPOSE:

Advances in implicit computational complexity, i.e., machine 
independent characterizations of computational complexity classes, 
have been confined to date mostly to theoretical foundations.
The time seems ripe for a community effort to implement these ideas 
in programming language design and implementation. 


CONFIRMED SPEAKERS

    Stephen Bellantoni (Toronto) 
    Peter Clote (Munich) 
    Robert Constable (Cornell) 
    Martin Hofmann (Edinburgh) 
    Neil Jones (DIKU, Copenhagen) 
    Daniel Leivant (Indiana) 
    Jean-Yves Marion (Nancy) 
    James Royer (Syracuse) 


ORGANIZATION

The workshop co-organizers are Robert Constable (Cornell) 
and Daniel Leivant (Indiana). 
The meeting is made possible by a grant from the NSF.


REGISTRATION AND PRACTICAL INFORMATION

See the ICFP web page, www.cs.rice.edu/Conferences/ICFP98/
Please note the August 31 deadline for early registration to ICFP98.

• Prev: Call for Papers
• Next: Call for Participation - Int. Conf. on Functional Languages '98 - Early Deadline
• Index(es):
  • Main
  • Thread