Lics

IEEE Symposium on Logic in Computer Science

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

Twentieth Annual IEEE Symposium on

Logic in Computer Science (LICS 2005)

2005-06-26 to 2005-06-29, Chicago, USA

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

Phokion G. Kolaitis (IBM Almaden Research Center and University of California at Santa Cruz)

Program Chair

Prakash Panangaden (McGill University, Montreal)

Conference Chair

Alan Jeffery (School of CTI, DePaul University, Chicago, Illinois, USA)

Radhakrishnan Jagadeesan (School of CTI, DePaul University, Chicago, Illinois, USA)

Publicity Chair

Alex K. Simpson (University of Edinburgh)

Workshops Chair

Philip J. Scott (University of Ottawa)

Program Committee:

Jiri Adamek (Technical University of Braunschweig); Luca de Alfaro (U. of California, Santa Cruz); Andrei A. Bulatov (Simon Fraser University); Hubert Comon-Lundh (ENS Cachan); Philippa Gardner (Imperial College); Martin Grohe (Humboldt-Universitat zu Berlin); Neil Immerman (U. of Massachusetts, Amherst); Marta Z. Kwiatkowska (University of Birmingham); Maurizio Lenzerini (Universita di Roma); Guy McCusker (University of Sussex); Lawrence S. Moss (University of Indiana); Prakash Panangaden (McGill University) (chair); Frank Pfenning (Carnegie-Mellon University); Toniann Pitassi (University of Toronto); Uday S. Reddy (University of Birmingham); Thomas Schwentick (Philipps-Universitat Marburg); Peter Selinger (University of Ottawa); Natarajan Shankar (SRI International); Igor Walukiewicz (Universite Bordeaux)

Organizing Committee

Samson Abramsky; Andrei Z. Broder; Samuel R. Buss; Edmund M. Clarke; Amy Felty; Harold N. Gabow; Lauri Hella; Radha Jagadeesan; Alan Jeffrey; Ulrich Kohlenbach; Phokion G. Kolaitis (chair); Johann A. Makowsky; John C. Mitchell; Mogens Nielsen; Prakash Panangaden; Frank Pfenning; Gordon D. Plotkin; Femke van Raamsdonk; Philip J. Scott; Alex K. Simpson; Andrei Voronkov

Advisory Board

Robert L. Constable; Yuri Gurevich; Claude Kirchner; Dexter C. Kozen; Ursula Martin; Albert R. Meyer; Leszek Pacholski; Vaughan R. Pratt; Andre Scedrov; Dana S. Scott; Moshe Y. Vardi; Glynn Winskel


Last modified: 2024-10-249:41
Sam Staton