Past LICS and FLoC Conferences

LICS 2008

LICS 2008 was held in Pittsburgh, Pennsylvania, June 24 – 27, 2008.

LICS 2007

LICS 2007 was held in Wroclaw, Poland, from July 10 - 14, 2007. It was colocated with ICALP 2007 and Logic Colloquium 2007.

LICS 2006

LICS 2006 was held as part of the 2006 Federated Logic Conference (FLoC 2006) in Seattle, Washington, from August 12 - 15, 2006.

LICS 2005

LICS 2005 was held in Chicago, Illinois, from June 26 - 29, 2005.

LICS 2004

LICS 2004 was held in Turku, Finland, from July 13 - 17, 2004, where it was colocated with ICALP'04.

LICS 2003

LICS 2003 was held in Ottawa, Canada, from June 22 - 25, 2003.

LICS 2002

LICS 2002 was held as part of the 2002 Federated Logic Conference (FLoC 2002) in Copenhagen, Denmark, July 22 - 25, 2002.

LICS 2001

LICS 2001 was held in Boston, Massachusetts, June 16-19, 2001.

LICS 2000

LICS 2000 was held in Santa Barbara, California, June 26-28, 2000.

LICS 1999

LICS 1999 was held as part of the 1999 Federated Logic Conference (FLoC 1999) in Trento, Italy, July 2-5, 1999.

LICS 1998

LICS 1998 was held in Indianapolis, Indiana, June 21 - 24, 1998.

LICS 1997

LICS 1997 was held in Warsaw, Poland, June 29 - July 2, 1997.

FLoC'06

Fourth Federated Logic Conference (FLoC'06) was held in Seattle, Washington, in August 2006. This time, FLoC consisted of the six conferences CAV, ICLP, IJCAR, LICS, RTA, and SAT. Additional events were over 40 workshops, a keynote session to commemorate the Goedel Centenary, with John Dawson and Dana Scott as speakers, a keynote talk by David Harel, plenary talks by Randy Bryant and David Dill, and invited talks by F. Bacchus, A. Blass, B. Buchberger, A. Darwiche, M. Das, J. Esparza, J. Giesl, A. Gordon, T. Hoare, O. Kupferman, M. Lam, D. Miller, K. Sakallah, J. Stoy, and C. Welty.

FLoC'02

Third FLoC was held in Copenhagen, Denmark, July 20 - August 1, 2002. This time, FLoC consited of the seven conferences CADE, CAV, FME, ICLP, LICS, RTA, and TABLEAUX. Additional events were over 30 workshops, about a dozen plenary and invited talks, and three tutorial days.

FLoC'99

Second FLoC was held in Trento, Italy, in July 1999. This time CADE, CAV, LICS and RTA were joined by 15 workshops and a number of tutorials and keynote events.

FLoC'96

As part of its Special Year on Logic and Algorithms, DIMACS hosted the 1996 Federated Logic Conference (FLoC). FLoC was modeled after the successful Federated Computer Research Conference (FCRC), and brought together synergetic conferences that apply logic to computer science: CADE, CAV, LICS and RTA, as well as a number of workshops.

Back to the LICS web page.