| 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
Martín Abadi
Microsoft Research Silicon Valley and University of California, Santa Cruz
abadi@cs.ucsc.edu
Phone : +1 831 459 1489
Frank Pfenning
Carnegie Mellon University, Pittsburgh
fp@cs.cmu.edu
StephenBrookes
Carnegie Mellon University
Stephan Kreutzer
Oxford University
kreutzer@comlab.ox.ac.uk
Nicole Schweikardt
Frankfurt University
schweika@informatik.uni-frankfurt.de
Phil Scott
University of Ottawa
phil@site.uottawa.ca
Adriana Compagnoni
Stevens Inst. of Technology
abc@cs.stevens.edu
Eyal Amir (Univ. of Illinois, Urbana-Champaign); Andreas Blass (University of Michigan); Andrei Bulatov (Simon Fraser University); Cristiano Calcagno (Imperial College); Stephen Cook (University of Toronto); Ugo Dal Lago (University of Bologna); Vincent Danos (University Paris 7); Martin Escardo (University of Birmingham); Patrice Godefroid (Microsoft Research Redmond); Jean Goubault-Larrecq (ENS Cachan); John Harrison (Intel); Rosalie Iemhoff (University Utrecht); Naoki Kobayashi (Tohoku University); Stephan Kreutzer (Oxford University); Orna Kupferman (Hebrew University); John Mitchell (Stanford University); Robert Nieuwenhuis (Technical Univ. Catalonia); Michael Norrish (NICTA, Australia); Catuscia Palamidessi (INRIA); Frank Pfenning (Carnegie Mellon University); Philip Scott (University of Ottawa); Alex Simpson (University of Edinburgh); Ashish Tiwari (SRI); Frank Wolter (University of Liverpool); James Worrell (Oxford University)
Martín Abadi; Samson Abramsky; Rajeev Alur; Giorgio Ausiello; Franz Baader; Steve Brookes; Samuel R. Buss; Edmund Clarke; Adriana Compagnoni; Hal Gabow; Jürgen Giesl; Radha Jagadeesan; Alan Jeffrey; Phokion G. Kolaitis; Stephan Kreutzer; Richard E. Ladner; Johann A. Makowsky; Jerzy Marcinkowski; Luke Ong; Prakash Panangaden; Frank Pfenning; Nicole Schweikardt; Philip J. Scott; Margus Veanes
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