Women in Logic Online
Agata Ciabattoni and Josephine Dik, supported by Andrea Hackl and the Vienna Center for Logic and Algorithms VCLA are organizing a series of seminars “Women in Logic ONLINE”.
Recorded Videos of the talks are available at the VLCA video channel. they’re also slowly 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
- 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