Lics

IEEE Symposium on Logic in Computer Science

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

Twenty-Second Annual IEEE Symposium on

Logic in Computer Science (LICS 2007)

2007-07-10 to 2007-07-14, Wroclaw, Poland

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

Martín Abadi
Bell Labs - Lucent Technologies
3180 Porter Drive
Palo Alto, California 94304, USA
abadi@research.bell-labs.com
Phone : +1 650 565 7477
Fax : +1 650 565 7676

Program Chair

Luke Ong
University of Oxford
lo@comlab.ox.ac.uk

Conference Chair

Jerzy Marcinkowski
University of Wroclaw
jma@ii.uni.wroc.pl

Publicity Chair

Stephan Kreutzer
Humboldt-Universität zu Berlin, Germany
kreutzer@informatik.hu-berlin.de

Nicole Schweikardt
Humboldt-Universität zu Berlin, Germany
schweika@informatik.hu-berlin.de

Workshops Chair

Philip J. Scott
University of Ottawa
phil@site.uottawa.ca

Program Committee:

Albert Atserias (Technical University of California); Steve Awodey (Carnegie Mellon University); Nachum Dershowitz (Tel Aviv University); Thomas Ehrhard (University of Paris 7 and CNRS); Javier Esparza (University of Stuttgart); Marcelo P. Fiore (University of Cambridge); Erich Grädel (RWTH Aachen University); Thomas A. Henzinger (EPFL); Alan Jeffrey (Bell Labs); Achim Jung (University of Birmingham); Dexter C. Kozen (Cornell University); Kim G. Larsen (Aalborg University); Jerzy Marcinkowski (University of Wroclaw); Luke Ong (University of Oxford) (chair); Frank Pfenning (CMU); Andrew M. Pitts (Cambridge University); Vladimiro Sassone (University of Southampton); Nicole Schweikardt (Humboldt University Berlin); Peter Selinger (Dalhousie University); Natarajan Shankar (Computer Science Lab. SRI); Victor Vianu (University of California, San Diego); Igor Walukiewicz (CNRS, Bordeaux)

Organizing Committee

Martín Abadi; Samson Abramsky; Rajeev Alur; Franz Baader; Andrei Z. Broder; Samuel R. Buss; Edmund M. Clarke; Jürgen Giesl; Lauri Hella; Radha Jagadeesan; Alan Jeffrey; Phokion G. Kolaitis; Stephan Kreutzer; Richard E. Ladner; Johann A. Makowsky; Jerzy Marcinkowski; Mogens Nielsen; Luke Ong; Prakash Panangaden; Nicole Schweikardt; Philip J. Scott; Margus Veanes; Andrei Voronkov

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