ICC 2003

Fifth International Workshop on
Implicit Computational Complexity

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).

Registration and Local Information

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.

Provisional Program

All talks will be in Room G0103.

Thursday, 26 June 2003

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.

Friday, 27 June 2003

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.

Proceedings

The proceedings are available as Electronic Notes in Theoretical Computer Science, Volume 90, Issue 1.

Acknowledgements

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.


General Workshop Information

Program committee

Steering committee

Important dates

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

WWW-pages

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

Contact information

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