Lics

IEEE Symposium on Logic in Computer Science

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

Twenty-Fourth Annual IEEE Symposium on

Logic in Computer Science (LICS 2009)

2009-08-11 to 2009-08-14, Los Angeles, California, USA

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Martín Abadi
Microsoft Research Silicon Valley and University of California, Santa Cruz
abadi@cs.ucsc.edu
Phone : +1 831 459 1489

Program Chair

Andrew M. Pitts
University of Cambridge, U.K.
andrew.pittso@cl.cam.ac.uk

Conference Chair

Jens Palsberg
UCLA
palsberg@ucla.edu

Publicity Chair

Stephan Kreutzer
Oxford University
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 Inst. of Technology
abc@cs.stevens.edu

Program Committee:

Rance Cleaveland (University of Maryland); Karl Crary (Carnegie Mellon University); Rocco De Nicola (Università di Firenze); Gilles Dowek (École Polytechnique, Paris); Neil Immerman (U. of Massachusetts, Amherst); Radha Jagadeesan (DePaul University, USA); Claude Kirchner (INRIA Lorraine); Marta Z. Kwiatkowska (Ocford University); Benoit Larose (Concordia University); Soren Lassen (Google Inc.); Leonid Libkin (University of Edinburgh); Paul-André Melliès (CNRS & U. Paris Diderot); Eugenio Moggi (U. di Genova); Andrzej Murawski (Oxford University); Gopalan Nadathur (University of Minnesota); Prakash Panangaden (McGill University); Madhusudan Parthasarathy (University of Illinois at Urbana-Champaign); Nir Piterman (Imperial College London); Andrew M. Pitts (Cambridge University); Francois Pottier (INRIA); Vijay Saraswat (IBM TJ Watson Research Center); Lutz Schröder (DFKI-Lab Bremen); Nicole Schweikardt (Frankfurt University); Alwen Tiu (Australian National University); Hongseok Yank (Queen Mary University of London)

Organizing Committee

Martín Abadi; Samson Abramsky; Rajeev Alur; Giorgio Ausiello; Franz Baader; Steve Brookes; Samuel R. Buss; Adriana Compagnoni; Hal Gabow; Jürgen Giesl; Lauri Hella; Radha Jagadeesan; Phokion G. Kolaitis; Stephan Kreutzer; Richard E. Ladner; Johann A. Makowsky; Jerzy Marcinkowski; Luke Ong; Jens Palsberg; Frank Pfenning; Andrew Pitts; Nicole Schweikardt; Philip J. Scott; Margus Veanes

Advisory Board

Robert L. Constable; Yuri Gurevich; Thomas A. Henzinger; Claude Kirchner; Dexter C. Kozen; Ursula Martin; John C. Mitchell; Leszek Pacholski; Gordon Plotkin; Vaughan R. Pratt; Andre Scedrov; Dana S. Scott; Moshe Y. Vardi; Glynn Winskel


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