Lics

ACM/IEEE Symposium on Logic in Computer Science

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

Thirty seventh Annual IEEE Symposium on

Logic in Computer Science (LICS 2022)

2022-08-02 to 2022-08-05, Haifa, Israel

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Orna Kupferman
Hebrew University, Israel

Program Chair

Christel Baier
TU Dresden, Germany

Conference Chair

Dana Fisman
Ben-Gurion University, Israel

Publicity Chair

Sam Staton
University of Oxford

Workshops Chair

Frederic Blanqui
INRIA, France

Program Committee:

Zena M. Ariola (University of Oregon, US); Christel Baier (TU Dresden, Germany (chair)); Michael Benedikt (University of Oxford, UK); Udi Boker (IDC Herzliya, Israel); Swarat Chaudhuri (University of Texas at Austin, US); Lorenzo Clemente (University of Warsaw, Poland); Liron Cohen (Ben-Gurion University, Israel); Thomas Colcombet (CNRS IRIF Paris, France); Thierry Coquand (University of Gothenburg, Sweden); Martin Hoetzel@Hötzel Escardo (University of Birmingham, UK); Marcelo P. Fiore (University of Cambridge, UK); Stefan Goeller@Göller (University of Kassel, Germany); Jan Hoffmann (CMU, Pittsburgh, US); Benjamin Lucien Kaminski (University College London, UK); Shin-ya Katsumata (National Institute of Informatics, Tokyo, Japan); Juha Kontinen (University of Helsinki, Finland); Jan Kretinsky (TU Munich, Germany); Antonin@Antonín Kucera@Kučera (Masaryk University, Brno, Czech Republic); Ranko Lazic (University of Warwick, UK); Karoliina Lehtinen (CNRS, Aix-Marseille University, France); Christof Loeding@Löding (RWTH Aachen, Germany); Assia Mahboubi (INRIA, Nantes University, France, and, Vrije Universiteit Amsterdam, NL); Annabelle McIver (Macquarie University, Sydney, Australia); Nelma Moreira (University of Porto, Portugal); Aniello Murano (Universita degli Studi di Napoli Federico II, Italy); Kedar Namjoshi (Nokia Bell Labs, US); Joanna Ochremiak (CNRS LaBRI Bordeaux, France); Prakash Panangaden (McGill University, Canada); Elaine Pimentel (Universidade Federal do Rio Grande do Norte, Brazil); Revantha Ramanayake (University of Groningen, Netherlands); Jean-Francois@Jean-François Raskin (Université Libre de Bruxelles, Belgium); Sylvain Schmitz (IRIF, Université de Paris, France); Tachio Terauchi (Waseda University, Tokyo, Japan); Henning Urbat (FAU Erlangen-Nürnberg, Germany); Mahesh Viswanathan (University of Illinois, US)


Last modified: 2022-10-3113:49
Sam Staton