| 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
Orna Kupferman
Hebrew University
Ugo Dal Lago and Javier Esparza
University of Bologna
Technische Universität München
Pawel Sobocinski
Taltech, Estonia
Sam Staton
University of Oxford
Valentin Blot
INRIA, France
Mohamed Faouzi Atig (Uppsala University); Steve Awodey (CMU ); Libor Barto (Charles University, Prague); Lars Birkedal (Aarhus University); Pierre Clairambault (CNRS & Aix-Marseille Université); Thierry Coquand (University of Gothenburg); Wojciech Czerwinski (Univ. Warsaw); Ugo Dal Lago (University of Bologna); Laurent Doyen (CNRS); Javier Esparza (TUM); Emmanuel Filiot (Univ. Libre de Bruxelles); Bernd Finkbeiner (CISPA); Cameron Freer (MIT); Moses Ganardi (MPI-SWS); Pierre Ganty (IMDEA Software); Deepak Garg (MPI-SWS); Francesco Gavazzo (University of Pisa); Silvia Ghilezan (University of Novi Sad); Rob van Glabbeek (Univ. Edinburgh); Christoph Haase (University of Oxford); Masahito Hasegawa (Kyoto University); Ichiro Hasuo (Nat. Inst. of Informatics); Ohad Kammar (University of Edinburgh); Bruce Kapron (University of Victoria); Juha Kontinen (University of Helsinki); Cynthia Kop (Radboud University); S.N. Krishna (IIT Bombay); Andrzej Murawski (University of Oxford); Sara Negri (University of Genova); Petr Novotný (Masaryk University); Michele Pagani (ENS Lyon); Simon Perdrix (Inria, Loria); Sasha Rubin (University of Sydney); Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg); Peter Selinger (Dalhousie University); Ana Sokolova (University of Salzburg); Lutz Strassburger (Inria Saclay); Mirco Tribastone (IMT Lucca); Anthony Widjaja Lin (University of Kaiserslautern & MPI-SWS); Nobuko Yoshida (University of Oxford)