ICC 2003 |
The Implicit Computational Complexity Workshop (ICC'03) will be held on 26 - 27 June 2003 in Ottawa, Canada as a satellite workshop of the Logic in Computer Science Conference (LICS'03).
Follow this link for registration, hotel, and other local information for LICS'03, ICC'03, and other workshops. NOTE: The early registration deadline is May 20.
| 09.30 - 10.30 |
Harry Mairson
Explaining resource-bounded lambda calculi to a finite model theorist. |
|
| 10.30 - 11.00 | Coffee | |
| 11.00 - 11.45 |
Olivier Bournez, Felipe Cuker, Paulin Jacobe de Naurois
and Jean-Yves Marion.
Safe recursion over an arbitrary structure: PAR, PH and DPH. |
|
| 11.45 - 12.30 |
Lars Kristiansen and Karl-Heinz Niggl
The garland measure and computational complexity of imperative programs. |
|
| 12.30 - 14.30 | Lunch | |
| 14.30 - 15.30 |
Erich Grädel
Once upon a time in the west: On determinacy, definability, and complexity of path games. |
|
| 15.30 - 16.00 | Coffee | |
| 16.00 - 16.45 |
Tsuyoshi Morioka
The relative complexity of local search heuristics and the iteration principle. |
|
| 16.45 - 17.30 |
Alan Skelley
A third-order bounded arithmetic theory for PSPACE. |
| 09.30 - 10.30 |
Albert Atserias
Combinatorial games in proof complexity. |
| 10.30 - 11.00 | Coffee |
| 11.00 - 12.00 |
Annie Liu
Iterate, incrementalize, and implement: A systematic approach to efficiency improvement and guarantees. |
| 12.00 - 12.45 | Emanuele Covino and Giovanni Pani
Space complexity analysis for stack programs. |
The proceedings are available as Electronic Notes in Theoretical Computer Science, Volume 90, Issue 1.
This year the ICC workshop is supported in part by a generous grant by Le Centre de Recherches Mathématiques de l'Université de Montréal.
- Michael Benedikt (Bell Labs)
- Ralph Benzinger (McKinsey & Company, Berlin)
- Sam Buss (University of California/San Diego)
- Anuj Dawar (Cambridge University), chair
- Martin Grohe (Edinburgh)
- Jan Johannsen (Ludwig-Maximilians-Universität München)
- Neil Jones (University of Copenhagen)
- Bruce Kapron (University of Victoria)
- Karl-Heinz Niggl (Technische Universität Ilmenau)
- Luke Ong (University of Oxford)
- Robert Constable (Cornell University)
- Anuj Dawar (Cambridge University)
- Fernando Ferreira (University of Lisbon)
- Martin Hofmann (Ludwig-Maximilians-Universität München)
- Neil Jones (University of Copenhagen)
- Daniel Leivant (University of Indiana/Bloomington)
- Jean-Yves Marion (Loria/Nancy)
- Luke Ong (University of Oxford)
- James Royer (Syracuse University), chair
- Helmut Schwichtenberg (Ludwig-Maximilians-Universität München)
11 April 2003 The submission deadline 23 May 2003 Notification of authors of accepted papers 22-25 June 2003 LICS'03 Dates 26-27 June 2003 Workshop Dates
ICC home page: http://www.cis.syr.edu/~royer/icc/ ICC'03 CFP: http://www.cis.syr.edu/~royer/icc/ICC03/call.html LICS home page: http://www.lfcs.informatics.ed.ac.uk/lics
Anuj Dawar
University of Cambridge Computer Laboratory
William Gates Building
J.J. Thomson Avenue
Cambridge CB3 0FD, England
tel:+44 1223 334408
fax:+44 1223 334678
Anuj.Dawar@cl.cam.ac.uk