Program Chair:
Rajeev Alur, University of Pennsylvania
Program Committee:
Luca Aceto,
Reykjavik University, Iceland, and Aalborg University, Denmark
Rajeev Alur,
University of Pennsylvania, USA
Christel Baier, University of Bonn, Germany
Maria Luisa Bonet, Polytechnic University of Catalunya, Spain
Flavio Corradini, University of Camerino, Italy
Victor Dalmau, Universitat Pompeu Fabra, Spain
Thomas Eiter, TU Vienna, Austria
Kousha Etessami, University of Edinburgh, UK
Amy Felty, University of Ottawa, Canada
Cedric Fournet, Microsoft Research, UK
Patrice Godefroid, Bell Labs, USA
Jason Hickey, CalTech, USA
Radha Jagadeesan, DePaul University, USA
Leonid Libkin, University of Toronto, Canada
Patrick Lincoln, SRI, USA
Yoram Moses, Technion, Israel
George Necula, UC Berkeley, USA
Joel Ouaknine, Oxford University, UK
Davide Sangiorgi, University of Bologna, Italy
Mahesh Viswanathan, University of Illinois at Urbana-Champaign, USA
Thomas Wilke, University of Kiel, Germany
Conference Chair:
Margus Veanes,
Microsoft Research
Workshop Chair:
Phil Scott,
University of Ottawa
Publicity Co-Chairs:
Stephan Kreutzer and
Nicole Schweikardt,
Humboldt University Berlin
General Chair:
Phokion G. Kolaitis,
IBM Almaden Research Center
and UC Santa Cruz
Organizing Committee:
Samson Abramsky,
Rajeev Alur,
Franz Baader,
Andrei Broder,
Sam Buss,
Edmund Clarke,
Amy Felty,
Hal Gabow,
Lauri Hella,
Radha Jagadeesan,
Alan Jeffrey,
Phokion Kolaitis,
Stephan Kreutzer,
Janos Makowsky,
John Mitchell,
Mogens Nielsen,
Prakash Panangaden,
Femke van Raamsdonk,
Nicole Schweikardt,
Philip Scott,
Margus Veanes,
Andrei Voronkov
Advisory Board:
R. Constable, Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, A. Meyer,
L. Pacholski, V. Pratt, A. Scedrov, D.S. Scott, M.Y. Vardi, G. Winskel
|
LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.
LICS 2006 will be organized as part of the the fourth Federated Logic Conference (FLoC'06)
to be held in Seattle at the Seattle Sheraton from August 10 to August 22, 2006.
-
Registration for LICS 2006 and FLoC 2006 is open now.
-
Local Information can be found
on the
new LICS 2006 conference web page at
http://www.easychair.org/FLoC-06/LICS.html.
-
Program (tentative schedule)
-
Accepted Short Presentations
-
Call for Short Presentations
Titles & short abstracts due: April 21, 2006 (expired)
Submission instructions, style files for preparing a submission, and
a link to the LICS 2006 submission site can be found
here.
-
Accepted Papers
-
Call for Papers (pdf, txt, ps)
Titles & short abstracts due: February 3, 2006 (expired)
Extended abstracts due: February 10, 2006 (expired)
Submission instructions, style files for preparing a submission, and
a link to the LICS 2006 submission site can be found
here.
-
Invited Speakers
The program of all invited talks at FLoC 2006 can be found here.
-
Call for Workshops
Workshop proposals due: July 31, 2005 (expired)
Important dates:
- February 3, 2006: Paper Registration Deadline (with short abstracts)
- February 10, 2006: Paper Submission Deadline
- April 14, 2006: Author Notification
- May 26, 2006: Final Versions for the Proceedings
- August 12-15, 2006: Conference
The conference is sponsored by the IEEE Computer Society
Technical Committee on Mathematical Foundations of Computing.
|