ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

LICS 2010: July 11-14

Overview

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

Detailed information on LICS 2010 can be found on the LICS 2010 webpage.

Call for Papers

Programme

Program Chairs

Jean-Pierre Jouannaud, INRIA & Tsinghua University, China

Conference Chairs

Martín Escardó, Univ. of Birmingham, U.K.

Workshop Chairs

Adriana Compagnoni, Stevens Inst. of Technology, New-Jersey
Maribel Fernández, King's College London

Program Committee:

Parosh Abdulla, Uppsala University, Sweden
Albert Atserias, Universitat Politecnica de Catalunya, Spain
Franz Baader, TU Dresden, Germany
Krishnendu Chatterjee, Institute of Science and Technology (IST), Austria
Yijia Chen, JiaoTong University, China
Veronique Cortier, CNRS, Loria, France
Vincent Danos, CNRS, France
Martin Escardo, School of Computer Science, University of Birmingham, United Kingdom
Javier Esparza, Technische Universität München, Germany
Amy Felty, University of Ottawa, Canada
Herman Geuvers, Radboud University Nijmegen, Netherlands
Dan Ghica, university of birmingham, United Kingdom
Robert Harper, Carnegie Mellon University, United States
Naoki Kobayashi, Tohoku University, Japan
Orna Kupferman, Hebrew University, Israel
Stephane Lengrand, CNRS and Ecole Polytechnique, France
Jose Meseguer, University of Illinois at Urbana-Champaign, United States
John Mitchell, Stanford University, United States
Eugenio Moggi, Genova Univ., Italy
Anca Muscholl, LaBRI, Universite Bordeaux, France
Mogens Nielsen, University of Aarhus, Denmark
Makoto Tatsuta, National Institute of Informatics, Japan
Wolfgang Thomas, RWTH Aachen, Germany
Pawel Urzyczyn, Warsaw University, Institute of Informatics, Poland
Victor Vianu, UC San Diego, United States

LICS General Chair:

Rajeev Alur, Univ. of Pennsylvania, Philadelphia

Organizing Committee:

Martín Abadi, Rajeev Alur (chair), Giorgio Ausiello, Franz Baader, Paul Beame, Steve Brookes, Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martin Escardó, Maribel Fernández, Lance Fortnow, Jürgen Giesl, Radha Jagadeesan, Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit Larose, Johann (Janos) A. Makowsky, Jens Palsberg, Frank Pfenning, Andrew Pitts, Nicole Schweikardt, Philip Scott, Matthew Valeriote

Advisory Board:

Martín Abadi, Samson Abramsky, Yuri Gurevich, Thomas A. Henzinger, Claude Kirchner, Phokion Kolaitis, Dexter Kozen, Ursula Martin, John Mitchell, Luke Ong, Leszek Pacholski, Gordon Plotkin, Andre Scedrov, Moshe Y. Vardi, Glynn Winskel