The Workshop on Foundations of Databases and AI (FADA) was a focused, two-day gathering of some of the leading international scholars working on the theoretical underpinnings of databases and artificial intelligence. The event was held on January 29–30, 2025, at…
What a night! The Vienna Ball of Sciences 2025 celebrated its 10-year anniversary on Saturday, January 25, at Vienna’s city hall (Rathaus). As part of the many attractions of the event, ball guests had the opportunity to put their logic…
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…
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…
The Helmut Veith Stipend was officially awarded to the recipients (8th edition – submission period end of November 2023) during an award ceremony on December 18, 2024! This edition was a special one, as for the first time, the selection…
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…
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…
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…
The 8th edition of the VCLA International Student Awards 2024 was concluded in September. Based on the international call for (self-)nominations, the award committee consisting of eighteen internationally recognized researchers announced one Outstanding Master Thesis Award and one Outstanding Undergraduate…
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…
