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.


Next LICS Conference:

LICS 2010 will be organized as part of the 5th Federated Logic Conference (FLoC 2010) to be held in Edinburgh, Scotland, U.K., at the School of Informatics at University of Edinburgh. LICS 2010 will take place on 11th–14th July 2010. Detailed information (including the call for papers) can be found here.

Important dates:   Titles and short abstracts due:   January 10, 2010   (expired)
Extended abstracts due: January 17, 2010   (expired)
Author notification: March 20, 2010

Next FLoC Conference:

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

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.

Proceedings:

The LICS conference proceedings are published by the IEEE Computer Society.


LICS 2010

LICS Awards

LICS Newsletters

LICS Archive

LICS Organization Board

List of Logic-Related Conferences

Links to Logic-Related Webpages


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: Tue Jan 19 12:57:02 CET 2010
Nicole Schweikardt