- LCC 2006
- was held in August 2006 in Seattle, Washington as a satellite
LICS 2006 and part of the
2006 Federated Logic Conference.
- LCC 2005
- was held in June 2005 in Chicago, Illinois
as a satellite workshop
- LCC 2004
- was held on July 12 - 13, 2004 in Turku, Finland.
LCC 2004 was a satellite workshop of both
- ICC 2003
- ICC 2002 was held on June 26 - 27, 2003 as a satellite workshop of
in Ottawa, Canada.
ICC 2002 was held on 20-21 July 2002 as part of the
2002 Federated Logic Conference (FLoC 2002)
in Copenhagen, Denmark.
ICC 2001 was held on 20 - 21 May 2001
as part of the joint PADO/MFPS 2001 conferences in
ICC 2000 was held on 29 -30 June at the University of California,
affiliated with the Logic in Computer Science (LICS 2000) conference.
ICC 1999 was held on 30 June - 1 July 1999
as part of the
1999 Federated Logic Conference (FLoC 2002)
in Trento, Italy.
Complexity Aspects of Mathematical Logic
This workshop was held on 7-13 April 2002 at
Implicit Computational Complexity
in Programming Language Design and Methodology
This workshop was held on 26 September 1998 and
affiliated with the 1998 International Conference
on Functional Programming (ICFP).
Programs: Improvements, Complexity, and Meanings
This workshop was held on 8 - 12 June 1998 at the
Computational Complexity and Programming
This workshop was held on 25-26 July 1996 at
at Rutgers University, Piscataway, NJ, USA.
Logic and Computational Complexity
This workshop was held on 13-16 October 1994 in
Indianapolis, IN, USA.