Helmut Veith Stipend: Award Ceremony

Wednesday, December 18, 2024 at 14:30

Talk by Ken Satoh: NL interface of PROLEG system and extracting normative sentences from German traffic judgements

NL interface of PROLEG system and extracting normative sentences from German traffic judgements
Monday, December 9, 2024 at 14:30

Talk by Hanoch Ben-Yami: The Quantified Argument Calculus

The Quantified Argument Calculus: Introduction and Research Directions
Wednesday, December 4, 2024 at 16:30

Women in Logic Online – Talk Announcement

Automating Game Reasoning in Blockchain Security
Monday, November 25, 2024 at 17:00

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

Jan von Plato: Two Gödelian Topics in Modal Logic
Thursday, October 10, 2024 at 16:00

Talk by George Metcalfe: Substructural Logics with Minimally True Tautologies

Substructural Logics with Minimally True Tautologies
Friday, October 4, 2024 at 16:00

Open positions: Cluster of Excellence

Open PhD positions# and PostDoc positions# in the Cluster of Excellence “Bilateral AI” at TU Wien (Vienna University of Technology)

We are seeking highly motivated and talented individuals to join our dynamic research team for combining symbolic and sub-symbolic AI. The successful candidates will conduct research at TU Vienna in collaboration with our partner institutes Johannes […]

Talk by Rajeev Gore: CEGAR-Tableaux – Improved Modal Satisfiability via Modal Clause-Learning and SAT

CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT
Thursday, August 29, 2024 at 15:00

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 […]