Women in Logic Online

Elaine Pimentel and Maria Osório Costa and Ekaterina Piotrovskaya, supported by the group Programming Principles, Logic, and Verification at UCL, are NOW organizing our series of seminars “Women in Logic ONLINE”. Many thanks to them for stepping up to this!

Agata Ciabattoni and Josephine Dik, with help from Andrea Hackl and the Vienna Center for Logic and Algorithms VCLA, started organizing a series of seminars “Women in Logic ONLINE”. There are seven talks in this series so far. In Jan 2026, the organization was moved to Elaine Pimentel’s group.

• Recorded Videos of the talks are available at the VLCA video channel. They’re also added to Recorded Talks.

• Talks are expected to happen every two months and you can be notified by subscribing to the mailing list.

Previous Talks

• Elaine Pimentel, University College London (UCL), UK, Classical versus Constructive: An Ecumenical Approach, 5 Feb, 2026
• Nina Gierasimczuk, Danish Technical University (DTU Compute), Learning and Belief Revision: an Overview, 16 Sept, 2025
• Sara Negri, Università degli Studi di Genova, Axioms as rules in intuitionistic logic, 23 Jun 2025
• Sonja Smets, Institute for Logic, Language and Computation, University of Amsterdam, Logic and Computation of Social Behavior, 19 Mar 2025
• Francesca Poggiolesi, CNRS, Explanatory Proofs: From Logic to Mathematics, 24 Jan 2025
• Laura Kovacs, TU - Wien, Automating Game Reasoning in Blockchain Security, 25 Nov 2024
• Valeria de Paiva, Topos Institute, Network Mathematics, 20 March 2024