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 Vienna Circle.
UNESCO proclaimed World Logic Day in 2019 in association with the International Council for Philosophy […]
Helmut Veith Stipend: Award Ceremony
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 process concluded with the announcement of four recipients: Tatiana Beliaeva, Esther Mugdan, Ivana Bocevska, and […]
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 professor of Hokkaido University till 2001. He also studied law at the law school of University […]
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 in the philosophy of mind; on questions of space and time, especially in relation to special […]
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: https://www.youtube.com/watch?v=Ka2P0TQ3vKs
In addition, you may download the slides for your review (coming soon).
ABSTRACT:
We advocate a game-theoretic approach for the security analysis of blockchain protocols.
Doing […]
VCLA International Student Awards 2024 – Announcement
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 Research Award. As the decision on the Master Thesis Award was again a close call, […]
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 the Cellar. The latter is a collection of the shorthand writings on logic and foundations by Gödel’s […]
Talk by George Metcalfe: Substructural Logics with Minimally True Tautologies
Speaker: Georg Metcalfe (University of Bern)
Research Topics:
Proof Theory
Non-Classical Logics
Ordered Algebraic Structures
Talk by Rajeev Gore: CEGAR-Tableaux – Improved Modal Satisfiability via Modal Clause-Learning and SAT
SHORT BIO:
Rajeev Gore obtained his PhD from the Computer Laboratory of the University of Cambridge in 1992. Before that, he was at the University of Melbourne, completing a BSc (hons I) with a double major in Physics and Computer Science, and an MSc in design automation. His research interests include Electronic Voting and Vote-Counting, Proof […]
PhD Position at TU Wien, AXAIS project
The research group Theory and Logic, Institute of Logic and Computation of TU Wien (the Vienna University of Technology) is looking for an exceptionally talented and motivated student for a PhD position.
The 4-year position (30 hrs/week) is embedded in the AXAIS project (“Acquiring and explaining norms for AI systems”) funded by the Vienna Science and […]
