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 2009
-
LICS 2009 will be held in Los Angeles, California, USA, August 11 – 14, 2009.
- A first call for papers can be found here.
Important dates:
Titles and short abstracts: January 12, 2009 Extended abstracts: January 19, 2009 Author notification: March 19, 2009 Camera ready papers: May 25, 2009
- A first call for papers 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
|
LICS General Chair Martín Abadi University of California at Santa Cruz and Microsoft Research, Silicon Valley, USA Email: abadi@cs.ucsc.edu |
|
Publicity Co-Chairs Stephan Kreutzer and Nicole Schweikardt Department of Computer Science Humboldt-University Berlin, Germany Email: lics@informatik.hu-berlin.de |
|
Treasurer Radha Jagadeesan School of CTI, DePaul University Chicago, Illinois, USA Email: rjagadeesan@cs.depaul.edu |
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.
Stephan Kreutzer and Nicole Schweikardt