Lics

IEEE Symposium on Logic in Computer Science

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

Twenty-Third Annual IEEE Symposium on

Logic in Computer Science (LICS 2008)

2008-06-24 to 2008-06-27, Pittsburgh, PA, 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

Frank Pfenning
Carnegie Mellon University, Pittsburgh
fp@cs.cmu.edu

Conference Chair

StephenBrookes
Carnegie Mellon University

Publicity Chair

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

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

Workshops Chair

Phil Scott
University of Ottawa
phil@site.uottawa.ca

Adriana Compagnoni
Stevens Inst. of Technology
abc@cs.stevens.edu

Program Committee:

Eyal Amir (Univ. of Illinois, Urbana-Champaign); Andreas Blass (University of Michigan); Andrei Bulatov (Simon Fraser University); Cristiano Calcagno (Imperial College); Stephen Cook (University of Toronto); Ugo Dal Lago (University of Bologna); Vincent Danos (University Paris 7); Martin Escardo (University of Birmingham); Patrice Godefroid (Microsoft Research Redmond); Jean Goubault-Larrecq (ENS Cachan); John Harrison (Intel); Rosalie Iemhoff (University Utrecht); Naoki Kobayashi (Tohoku University); Stephan Kreutzer (Oxford University); Orna Kupferman (Hebrew University); John Mitchell (Stanford University); Robert Nieuwenhuis (Technical Univ. Catalonia); Michael Norrish (NICTA, Australia); Catuscia Palamidessi (INRIA); Frank Pfenning (Carnegie Mellon University); Philip Scott (University of Ottawa); Alex Simpson (University of Edinburgh); Ashish Tiwari (SRI); Frank Wolter (University of Liverpool); James Worrell (Oxford University)

Organizing Committee

Martín Abadi; Samson Abramsky; Rajeev Alur; Giorgio Ausiello; Franz Baader; Steve Brookes; Samuel R. Buss; Edmund Clarke; Adriana Compagnoni; Hal Gabow; Jürgen Giesl; Radha Jagadeesan; Alan Jeffrey; Phokion G. Kolaitis; Stephan Kreutzer; Richard E. Ladner; Johann A. Makowsky; Jerzy Marcinkowski; Luke Ong; Prakash Panangaden; Frank Pfenning; 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; Vaughan R. Pratt; Andre Scedrov; Dana S. Scott; Moshe Y. Vardi; Glynn Winskel


Last modified: 2016-01-1416:21
Andrzej Murawski