Twenty-First Annual IEEE Symposium on

LOGIC IN COMPUTER SCIENCE (LICS 2006)

August 12th-15th, 2006, Seattle, Washington, USA




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.

 

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.



Back to the LICS webpage.

Last modified: Tue May 23 15:09:43 CEST 2006
Stephan Kreutzer and Nicole Schweikardt