Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Twenty-Fifth Annual IEEE Symposium on

Logic in Computer Science (LICS 2010)

2010-07-11 to 2010-07-14, Edinburgh, Scotland, UK

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Short Presentations

Entries are ordered by surname of first author

Organizers

General Chair

Rajeev Alur
University of Pennsylvania, Philadelphia
alur@cis.upenn.edu

Program Chair

Jean-Pierre Jouannaud
INRIA and Tsinghua University, Beijing
jeanpierre.jouannaud@gmail.com

Conference Chair

Martín Escardó
University of Birmingham
m.escardo@cs.bham.ac.uk

Publicity Chair

Stephan Kreutzer
University of Oxford
kreutzer@comlab.ox.ac.uk

Nicole Schweikardt
Frankfurt University
schweika@informatik.uni-frankfurt.de

Workshops Chair

Maribel Fernández
King's College London
Maribel.Fernandez@kcl.ac.uk

Adriana Compagnoni
Stevens Institute of Technology, New Jersey
abc@cs.stevens.edu

Program Committee:

Parosh Abdulla (Uppsala University); Albert Atserias (Universitat Politècnica de Catalunya); Franz Baader (TU Dresden); Krishnendu Chatterjee (IST, Vienna); Yijia Chen (Jiaotong University, Shanghai); Véronique Cortier (CNRS & LORIA, Nancy); Vincent Danos (University of Edinburgh); Martín Escardó (University of Birmingham); Javier Esparza (TU München); Amy Felty (University of Ottawa); Herman Geuvers (Radboud University, Nijmegen); Dan Ghica (University of Birmingham); Robert Harper (Carnegie Mellon University); Jean-Pierre Jouannaud (INRIA and Tsinghua University, Beijing); Naoki Kobayashi (Tohoku University, Sendai); Orna Kupferman (Hebrew University, Jerusalem); Stephane Lengrand (CNRS & LIX, Palaiseau); José Meseguer (University of Illinois, Urbana-Champaign); John Mitchell (Stanford University); Eugenio Moggi (Università di Genova); Anca Muscholl (Université Bordeaux); Mogens Nielsen (Aarhus University); Makoto Tatsuta (NII, Tokyo); Wolfgang Thomas (RWTH Aachen); Paweł Urzyczyn (Warsaw University); Victor Vianu (University of California, San Diego)

Organizing Committee

Martín Abadi; Rajeev Alur; Paul Beame; Maria Paola Bonacina; Steve Brookes; Samuel Buss; Edmund M. Clarke; Adriana Compagnoni; Martín Escardó; Maribel Fernández; Lance Fortnow; Jürgen Giesl; Radha Jagadeesan; Jean-Pierre Jouannaud; Phokion Kolaitis; Stephan Kreutzer; Benoit Larose; Johann A. Makowsky; Burkhard Monien; Jens Palsberg; Frank Pfenning; Andrew M. Pitts; Nicole Schweikardt; Philip Scott; Matt 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


Last modified: 2017-04-0512:37
Andrzej Murawski