Talk by Malvin Gattinger: Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean
The time has changed to 16:00 – 17:00!
Category Talks
Women in Logic Online – Talk with Sara Negri
SHORT BIO: Sara Negri is a Professor (it.: Professore Ordinario) of Mathematical Logic at the University of Genova. During 2015-2019, she held the chair of Theoretical Philosophy at the Philosophy Unit of the Department of Philosophy, History and Culture of…
Women in Logic Online – Talk with Sonja Smets
SHORT BIO: Sonja Smets is professor of Logic and Epistemology at both the Faculty of Science and the Faculty of Humanities at the University of Amsterdam. She established herself as an expert in the domain of non-classical Philosophical Logic, and…
Talk by Guillermo Badia: Codd’s Theorem for Databases over Semirings
SHORT BIO: Guillermo Badia is a Lecturer in Logic (continuing position) in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. From 2022-2025, his research is supported by an Australian Research Council Discovery Early Career Researcher…
Women in Logic Online – Talk with Francesca Poggiolesi
On January 24, 2025, Francesca Poggiolesi held the third talk in the seminar series “Women in Logic Online”! If you missed this talk, you can now watch the recording on the VCLA youtube channel! SHORT BIO: Francesca Poggiolesi is a…
World Logic Day Lecture: Joao Marques-Silva
On 14 January 2025, we invite you to celebrate the international World Logic Day virtually with the Vienna Center for Logic and Algorithms (VCLA) at TU Wien and the Logic community from the city of Kurt Gödel, Ludwig Wittgenstein, and the…
Talk by Ken Satoh: NL interface of PROLEG system and extracting normative sentences from German traffic judgements
SHORT BIO (from FFJ): Ken Satoh is a full professor of Principles of Informatics Research Division, NII (National Institute of Informatics), and Sokendai (The Graduate University of Advanced Studies), Japan. He worked with Fujitsu 1981-1995 and then was an associate…
Talk by Hanoch Ben-Yami: The Quantified Argument Calculus
SHORT BIO (from JKU): Hanoch Ben-Yami is Professor of Philosophy at the Central European University in Vienna. He received his Ph.D. from Tel Aviv University, and his most recent work is on logic and language. He works on various issues…
Women in Logic Online – Talk Announcement
On November 25, 2024, Laura Kovács held the second talk in the seminar series “Women in Logic Online”! If you missed the talk, you can now watch it on the VCLA Youtube channel: In addition, you may download the…
Talk by Jan von Plato: Two Gödelian Topics in Modal Logic
Speaker: Jan von Plato (University of Helsinki) Jan has worked both in logic and its development, with three systematic books on proof theory. His work of a historical-foundational character includes two books, The Great Formal Machinery Works, and Saved from…