Third international workshop
on Implicit Computational Complexity-2001 (ICC'01)
affiliated with PADO and MFPS
The Implicit Computational
Complexity Workshop (ICC'01) will be held on Sunday,
20 May 2001 -- Monday 21 May 2001 in Aarhus as part of the joint PADO/MFPS
2001/a> conferences.
Topics of Interest
The synergy between Logic, Computational Complexity and Programming
Language Theory has gained importance and vigour in recent years, cutting
across areas such as Proof Theory, Computation Theory, Applicative Programming,
and Philosophical Logic. Several machine-independent approaches to computational
complexity have been developed, which characterize complexity classes by
conceptual measures borrowed primarily from mathematical logic. Collectively
these approaches might be dubbed IMPLICIT COMPUTATIONAL COMPLEXITY.
Practically, implicit computational complexity provides a framework
for a streamlined incorporationof computational complexity into areas
such as formal methods in software development, programming language
theory. In addition to research reports on theoretical advances in
implicit computational complexity, practical contributions bridging
the gap between Computational Complexity and Programming Language
Theory are therefore of particular interest.
Previous Workshops
have been held in Indianapolis 1994,
Baltimore 1998 , Trento 1999,
Santa Barbara 2000 .
Invited talk (joint with PADO and MFCS)
Neil Jones : Program
Analysis for Implicit Computational Complexity. (
Abstract )
Programme committee
Steering committee
Registration, accommodation etc.
The registration deadline is 30. April 2001.
Information on registration, accommodation and an online form may be
found here .
Programme
The workshop starts Sunday 20.5.2001 at 2pm and ends Monday 21.5.2001
lunchtime.
See here for a
preliminary programme.
Submission procedure
Expired.
Proceedings
Informal proceedings will be available at the workshop.
Workshop fee
There will be a fee of DKK 100 to cover the informal proceedings and
coffee&biscuits.
Submission procedure
E-mail your contribution as a
PostScript file to the programme chair (mxh@dcs.ed.ac.uk) to be
received by 16 March 2001. Alternatively, you can send 5 hardcopies by
air mail to the program chair. Authors with restricted copying
facilities may also send a single hardcopy.
Important dates
- 30 April 2001 Registration deadline
- 10 May 2001 Firm deadline for submissions to the informal
proceedings
- 20 May 2001 Workshop
Contact information
Martin Hofmann
Division of Informatics
University of Edinburgh
JCMB, KB
Mayfield Road
Edinburgh EH93JZ
UK
tel : (44) 131 650 5187
fax : (44) 131 667 7209
mxh@dcs.ed.ac.uk