Workshops

LMW: 6th Logic Mentoring Workshop 2021 (28 June, 2021)

Organizers: Jose Calderon, Marie Fortin, Karoliina Lehtinen and Ivano Salvo

Visit Website

TLLA: 5th International Workshop on Trends in Linear Logic and Applications (27-28 June, 2021)

Organizers: Thomas Ehrhard, Lorenzo Tortora de Falco, Stefano Guerrini

Visit Website

WiL: 5th Workshop on “Women in Logic” (27 June, 2021)

Organizers: Sandra Alves, Sandra Kiefer, Ana Sokolova

Visit Website

Structure meets Power (27-28 June, 2021)

Organizers: Samson Abramsky, Anuj Dawar, Tomáš Jakl and Dan Marsden

Visit Website

LOLA: 11th Workshop on Low-Level Languages (LOLA 2021) – CANCELLED

Organizer: Neel Krishnaswami, Chair, University of Cambridge