| LICS 2006 | Twenty First Annual IEEE Symposium on Logic in Computer Science Seattle, August 12 - 15, 2006 |
Overview
LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.
Program
Invited Talks
-
Sunday, August 13th, 09:00‑10:00
Andreas Blass (University of Michigan, Ann Arbor)
Adapting Logics [pdf] -
Monday, August 14th, 09:00‑10:00
Orna Kupferman (Hebrew University, Israel)
Avoiding Determinization [ppt] -
Tuesday, August 15th, 09:00‑10:00
Andy Gordon (Microsoft Research)
Provable Implementations of Security Protocols [ppt]
Program Chair
Rajeev Alur, University of Pennsylvania
Program Committee
Luca Aceto, Reykjavik University, Iceland, and Aalborg University, DenmarkRajeev 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 ResearchWorkshop Chair
Phil Scott, University of OttawaPublicity Co-Chairs:
Stephan Kreutzer and Nicole Schweikardt, Humboldt University BerlinGeneral Chair
Phokion G. Kolaitis, IBM Almaden Research Center and UC Santa CruzOrganizing 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 VoronkovAdvisory 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. WinskelSponsorship
The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.