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
Saturday, September 26, 1998
(ICFP dates September 27-29)
WORKSHOP WEB PAGE: simon.cs.cornell.edu/Info/Projects/NuPrl/Workshop/
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.
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)
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.