IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

Current LICS Conference:

LICS 2009 will be held at UCLA, Los Angeles, California, USA, 11th–14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009), 9th–11th August 2009.

Registration for LICS 2009 is open!
The deadline for early registration is July 26, 2009.
Detailed information can be found on the local organization and accomodation webpage.

Next FLoC Conference:

The 5th Federated Logic Conference, FLoC 2010, will be held in Edinburgh, Scotland, U.K., in July 2010, at the School of Informatics at University of Edinburgh.

First Announcement of FLoC 2010
FLoC 2010 Call for Workshop Proposals (deadline: July 31, 2009)

Past LICS and FLoC Conferences:

LICS Archive

LICS Awards:

LICS Test-of-Time Award:

The IEEE Symposium on Logic in Computer Science established a Test-of-Time Award to recognize a small number of papers from the LICS proceedings from 20 years prior.

Kleene Award for the Best Student Paper:

In honour of the late S.C. Kleene, the Kleene Award is given for the best student paper accepted at LICS.

Navigation:

LICS Organization Board

List of Logic-Related Conferences

Links to Logic-Related Webpages

Link to the OLD LICS WEBSITE (valid until September 2008)

The LICS symposium is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.

Last modified: Wed June 10 12:10:59 CEST 2009
Nicole Schweikardt