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.   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.