Lics

IEEE Symposium on Logic in Computer Science

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

Thirty ninth Annual IEEE Symposium on

Logic in Computer Science (LICS 2024)

2024-07-08 to 2024-07-11, Tallinn, Estonia

On this page:

Invited Speakers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Orna Kupferman
Hebrew University

Program Chair

Ugo Dal Lago and Javier Esparza
University of Bologna
Technische Universität München

Conference Chair

Pawel Sobocinski
Taltech, Estonia

Publicity Chair

Sam Staton
University of Oxford

Workshops Chair

Valentin Blot
INRIA, France

Program Committee:

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)


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