Lics

IEEE Symposium on Logic in Computer Science

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

Nineteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2004)

2004-07-13 to 2004-07-17, Turku, Finland

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 (University of California at Santa Cruz)

Program Chair

Harald Ganzinger (MPI, Saarbruecken)

Conference Chair

Lauri Hella (University of Tampere)

Publicity Chair

Alex K. Simpson (University of Edinburgh)

Workshops Chair

Phil J. Scott (University of Ottawa)

Program Committee:

Rajeev Alur (University of Pennsylvania); Andrew W. Appel (Princeton University); Albert Atserias (UPC, Barcelona); Franz Baader (Dresden University); Samuel R. Buss (University of California, San Diego); Roberto Di Cosmo (Universite de Paris VII); Gilles Dowek (Ecole Polytechnique, Paris); Harald Ganzinger (MPI, Saarbruecken) (chair); Martin Hofmann (LMU Muenchen); Achim Jung (University of Birmingham); Kim G. Larsen (Aalborg University); Leonid Libkin (University of Toronto); Rocco De Nicola (Università di Firenze); Damian Niwinski (Warsaw University); Prakash Panangaden (McGill University, Montreal); Albert Rubio (UPC, Barcelona); Vitaly Shmatikov (SRI International); Moshe Y. Vardi (Rice University, Houston); Helmut Veith (TU Wien); Andrei Voronkov (University of Manchester)

Organizing Committee

Samson Abramsky; Andrei Z. Broder; Edmund M. Clarke; Amy Felty; Ulrich Furbach; Harold N. Gabow; Harald Ganzinger; Joseph Y. Halpern; Lauri Hella; Ulrich Kohlenbach; Phokion G. Kolaitis (chair); Harry G. Mairson; Aart Middeldorp; John C. Mitchell; Mogens Nielsen; Prakash Panangaden; Gordon D. Plotkin; Philip J. Scott; Richard A. Shore; Alex K. Simpson; Iain A. Stewart

Advisory Board

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


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