IEEE Symposium on Logic in Computer Science

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

LICS Conferences

LICS 2008

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

• Registration is open!

  The deadline for early registration is JUNE 1, 2008.
  Late registration (at higher cost) will be available until June 10, after which registration requires special arrangement with the conference organizers.
  More detailed information can be found at the LICS 2008 webpage and at the LICS 2008 conference webpage at Carnegie Mellon University.

• List of accepted papers
• Preliminary program of LICS'08

More information, including abstracts of invited talks and the list of workshops co-located with LICS 2008 can be found here.

 

Past LICS and FLoC Conferences

Webpages of past LICS and FLoC conferences, dating back to 1996.

LICS Test-of-Time Award

The IEEE Symposium on Logic in Computer Science recently established a Test-of-Time Award to recognize a small number of papers from the LICS proceedings from 20 years prior.
Following the establishment of the award, an Awards Committee was appointed and charged to consider all papers from LICS 1987 for the LICS Test-of-Time Award 2007. The Committee consisted of Yuri Gurevich (Chair), Rajeev Alur, and Glynn Winskel.
In 2007, the Committee has selected the following two papers for the LICS Test-of-Time Award; the papers are listed in the order they appeared in the LICS 1987 proceedings:

• "Domain Theory in Logical Form" by Samson Abramsky
• "A Framework for Defining Logics" by Robert Harper, Furio Honsell, and Gordon Plotkin

LICS Newsletter

LICS Mailing List

LICS Calls for Papers, Lists of Accepted Papers, Programs, etc. are sent to this mailing list.
A newsletter is sent to the list every 1-2 months.
To (un)subcribe to the mailing list, send an email with "(un)subscribe" in the subject-line to lics@informatik.hu-berlin.de.
If your email address has changed, please send an email containing your old and new address to lics@informatik.hu-berlin.de.

Newsletters

The LICS electronic newsletter is sent out once every 1-2 months to the LICS mailing list. It contains brief summaries of conference announcements, new book announcements and other announcements of interest to the logic in computer science community.
Please submit your announcements to the newsletter following the submission instructions.

Links

Logic Related Conferences

A list of logic related conferences and associations.
If you are an organizer of a logic related conference and have some information you would like to include here, please send an email to lics@informatik.hu-berlin.de.

Some Logic Related Bibliographies

A short list of links to bibliographies, e.g. at University of Trier and at MIT, that cover all past LICS symposia, and a few links to other logic related pages.

Organization

Organizing Committee:
Martin Abadi, Samson Abramsky, Rajeev Alur, Giorgio Ausiello, Franz Baader, Steve Brookes, Samuel Buss, Edmund Clarke, Hal Gabow, Jürgen Giesl, Radha Jagadeesan, Alan Jeffrey, Phokion Kolaitis, Stephan Kreutzer, Richard E. Ladner, Johann (Janos) A. Makowsky, Jerzy Marcinkowski, Luke Ong, Prakash Panangaden, Frank Pfenning, Nicole Schweikardt, Philip Scott, Margus Veanes

Advisory Board:
Robert Constable, Yuri Gurevich, Thomas A. Henzinger, Claude Kirchner, Dexter Kozen, Ursula Martin, John Mitchell, Leszek Pacholski, Vaughan Pratt, Andre Scedrov, Dana S. Scott, Moshe Y. Vardi, Glynn Winskel

The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.