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 2008 will be held in Pittsburgh, Pennsylvania, June 24 – 27, 2008.
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.
More information, including abstracts of invited talks and the list of workshops co-located with LICS 2008 can be found here.
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:
|
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.