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.
Talks are expected to happen every two months and you can be notified by subscribing to the mailing list.
Previous Talks
- 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