Lics

IEEE Symposium on Logic in Computer Science

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

Thirty fifth Annual IEEE Symposium on

Logic in Computer Science (LICS 2020)

2020-07-08 to 2020-07-11, Saarbrucken, Germany

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Dale Miller
Ecole Polytechnique

Program Chair

Naoki Kobayashi
The University of Tokyo, Japan

Conference Chair

Holger Hermanns and Lijun Zhang
Saarbrucken, Germany and Beijing, China

Publicity Chair

Sam Staton
University of Oxford

Workshops Chair

Frederic Blanqui
INRIA, France

Program Committee:

Andreas Abel (Gothenburg University, Sweden); Steve Awodey (Carnegie Mellon University, USA); Christel Baier (TU Dresden, Germany); Supratik Chakraborty (IIT Bombay, India); Yijia Chen (Fudan University, China); Pierre Clairambault (CNRS & ENS Lyon, France); Ugo Dal Lago (University of Bologna & INRIA, Italy); Laure Daviaud (City, University of London, UK); Anuj Dawar (University of Cambridge, UK); Josée Desharnais (Université Laval, Canada); Jörg Endrullis (Vrije Universiteit Amsterdam, NL); Emmanuel Filiot (Université Libre de Bruxelles, Belgium); Rob van Glabbeek (Data61, CSIRO, Sydney, Australia); Emmanuel Jeandel (Université de Lorraine, France); Bakhadyr Khoussainov (The University of Auckland, New Zealand); Hélène Kirchner (INRIA, France); Naoki Kobayashi (The University of Tokyo, Japan); Antonina Kolokolova (Memorial University of Newfoundland, Canada); Orna Kupferman (Hebrew University, Israel); Radu Mardare (University of Strathclyde, UK); David Monniaux (CNRS & University of Grenoble, France); Joanna Ochremiak (CNRS & University of Bordeaux, France); Valeria de Paiva (Samsung Research America and University of Birmingham, USA); Elaine Pimentel (UFRN, Brazil); André Platzer (Carnegie Mellon University, USA); Davide Sangiorgi (University of Bologna & INRIA, Italy); Alex Simpson (University of Ljubljana, Slovenia); Pawel Sobocinski (Tallinn University of Technology, Estonia); Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany); Sam Staton (University of Oxford, UK); Christine Tasson (Université de Paris, IRIF, France); Makoto Tatsuta (National Institute of Informatics, Japan); Igor Walukiewicz (CNRS & University of Bordeaux,France); James Worrell (University of Oxford, UK)


Last modified: 2024-10-249:41
Sam Staton