| 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
Luke Ong
University of Oxford
luke.ong@cs.ox.ac.uk
Catuscia Palamidessi
INRIA & E. Polytechnique
Andrzej Murawski
University of Warwick
a.murawski@warwick.ac.uk
Patricia Bouyer-Decitre
CNRS & ENS Cachan
bouyer@lsv.ens-cachan.fr
Pablo Barceló (U. Chile); Gilles Barthe (IMDEA); Andrej Bauer (IMFM); Lev Beklemishev (Russian Ac. of Sci.); Patricia Bouyer-Decitre (CNRS & ENS Cachan); Adam Chlipala (MIT); Agata Ciabattoni (TU Wien); Véronique Cortier (CNRS Loria); Pedro D'Argenio (UN Cordoba); Anuj Dawar (U. Cambridge); Mariangiola Dezani-Ciancaglini (U. Torino); Yuxi Fu (SJTU); Rob van Glabbeek (NICTA); Ichiro Hasuo (U. Tokyo); Martin Hofmann (LMU); Delia Kesner (U. Paris Diderot); Barbara König (U. Duisburg-Essen); Laura Kovács (Chalmers UT); Dexter Kozen (Cornell U.); Manfred Kufleitner (U. Stuttgart); Anthony W. Lin (Yale-NUS College); Simone Martini (U. Bologna); Madhavan Mukund (Chennai Math. Inst.); Filip Murlak (U. Warsaw); Gopalan Nadathur (U. Minnesota); Frank Pfenning (CMU); Ian Pratt-Hartmann (U. Manchester); Albert Rubio (U. Barcelona); Peter Selinger (Dalhousie U.); Alexandra Silva (Radboud U.); Tachio Terauchi (JAIST); Bow-Yaw Wang (Academia Sinica)
Martín Abadi; Luca Aceto; Rajeev Alur; Maria PaolaBonacina; Patricia Bouyer-Decitre; Krishnendu Chatterjee; Adriana Compagnoni; Anuj Dawar; Nachum Dershowitz; Maribel Fernández; Martin Grohe; Orna Grumberg; Masahito Hasegawa; Thomas A. Henzinger; Phokion Kolaitis; Orna Kupferman; Benoit Larose; Dale Miller; Michael Mislove; Andrzej Murawski; Luke Ong; Catuscia Palamidessi; Prakash Panangaden; Kristoffer Rose; Andre Scedrov; David Shmoys; Matt Valeriote
Martín Abadi; Samson Abramsky; Rajeev Alur; Bob Constable; Thierry Coquand; Thomas Henzinger; Jean-Pierre Jouannaud; Phokion Kolaitis; Dexter Kozen; Dale Miller; John Mitchell; Prakash Panangaden; Andrew Pitts; Gordon Plotkin; Moshe Y. Vardi; Glynn Winskel