| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
On this page:
Entries are ordered by surname of first author
Entries are ordered by surname of first author
Phokion G. Kolaitis (University of California at Santa Cruz)
Harald Ganzinger (MPI, Saarbruecken)
Lauri Hella (University of Tampere)
Alex K. Simpson (University of Edinburgh)
Phil J. Scott (University of Ottawa)
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)
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
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