On 12 January 2024, we invited 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…
Petra Mutzel is professor of Computational Analytics at the University of Bonn, where she is also the scientific director of the High Performance Computing and Analytics Lab at the Digital Science Center. She received her Ph.D. in Computer Science at…
Hans van Ditmarsch will be our guest on Wednesday, October 18, 2023. He has previously held talks hosted by the VCLA [One Hundred Prisoners and a Light Bulb (2021), Reasoning about Gossip (2022)]; this time, he will be talking about…
You can now watch the recording on our VCLA youtube channel! Exploring Connections: Wittgenstein, Gödel, and ChatGPT Are you interested in Logic, Philosophy, Mathematics, Informatics, and Artificial Intelligence? Then we would like to invite you to attend our free…
On 14 January 2023, we 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 Vienna Circle. UNESCO…
Based on work with Keren Censor-Hillel, Shir Cohen, and Gal Sela. SHORT BIO Dr. Ran Gelles received his B.Sc. (Summa Cum Laude) and M.Sc. from the Technion–Israel Institute of Technology, in 2003 and 2009, respectively. He received his PhD…
TITLE Reasoning about Gossip ABSTRACT A well-studied phenomenon in network theory since the 1970s are optimal schedules to distribute information by one-to-one communication between nodes that are connected in the network. One can take these communicative actions to be telephone…
On 14 January 2022, we celebrated 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 Vienna Circle.
Lutz Strassburger, Research Director at Inria Research Centre Saclay – Île-de-France and Laboratoire d’Informatique (LIX). Abstract: In this talk I will discuss the problem of proof identity, and then give a gentle introduction to combinatorial proofs for first-order logic. I will also investigate the relationship…
