• Best Paper Awards at TABLEAUX 2025

    At TABLEAUX 2025, the 34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods held in Reykjavik, Iceland, from 27-29 September 2025, VCLA co-chair Agata Ciabattoni was awarded the best paper award for the paper “Analytic Proofs for Tense Logic,” which she co-authored with Timo Lang and Revantha Ramanayake. After awards at IJCAI […]

    Read More
  • Gewinner: Jugend-Videowettbewerb “Mensch und Maschine im Jahr 2035”

    Unser Jugend-Videowettbewerb „Mensch und Maschine im Jahr 2035“ ist zu Ende gegangen, und die sechs Jury-Mitglieder haben die Beiträge unabhängig voneinander bewertet.

    Wir haben insgesamt 128 Anmeldungen erhalten und möchten uns bei allen bedanken, die teilgenommen haben! Es war eine Freude zu sehen, mit welcher Kreativität die Teams ihre Vorstellung vom Leben mit künstlicher Intelligenz in […]

    Read More
  • VCLA International Student Awards 2025 – Announcement

    The 9th edition of the VCLA International Student Awards 2025 was concluded in September. Based on the international call for (self-)nominations, the award committee consisting of sixteen internationally recognized researchers announced one Outstanding Master Thesis Award and one Outstanding Undergraduate Research Award. The nominated degrees had to be awarded between January 1, 2024 and December […]

    Read More
  • JELIA 2025: Best Student Paper Prize for TU Wien Researchers

    Congratulations to Dmitry Rozplokhas, the VCLA co-chair Agata Ciabattoni, and Matteo Tesi on winning the Best Student Paper Prize for their paper “GL-based calculi for PCL and its deontic cousin” at JELIA 2025! The conference was held in Kutaisi, Georgia, from September 1-4, 2025.

    JELIA 2025 is the 19th edition of the European Conference on Logics […]

    Read More
  • Women in Logic Online – Talk with Nina Gierasimczuk

    Learning and Belief Revision: an Overview
    Tuesday, September 16, 2025 at 17:30

    Read More
  • IJCAI 2025 Distinguished Paper Award for TU Wien Researchers

    Congratulations to Emery Neufeld, Agata Ciabattoni, and Radu Tulcan on winning the IJCAI 2025 Distinguished Paper Award for their paper “Combining MORL with Restraining Bolts to Learn Normative Behaviour”! IJCAI 2025 was held in Montreal, Canada, from August 16 to August 22, 2025.

    The IJCAI Distinguished Paper Awards recognize some of the best papers presented at […]

    Read More
  • Helmut Veith Stipend – apply now!

    The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to start one of the programs in Computer Science at TU Wien taught in English in one of the following semesters:

    – winter semester 2025/2026

    – summer semester 2026

    – winter semester 2026/27

    The deadline of the current call is November […]

    Read More
  • Francesco Pontiggia wins Best Student Paper Award at AAMAS 2025

    At AAMAS 2025, the 24th International Conference on Autonomous Agents and Multiagent Systems held in Detroit from May 19-23, 2025, LogiCS student Francesco Pontiggia was awarded the Pragnesh Jay Modi Best Student Paper Award for the paper “Decentralized Planning Using Probabilistic Hyperproperties”, which he co-authored with Filip Macák, Roman Andriushchenko, Michele Chiari, and Milan Ceska.

    The […]

    Read More

Latest Talks

(» further talks)
Sep
16

Women in Logic Online – Talk with Nina Gierasimczuk

Learning and Belief Revision: an Overview
Tuesday, September 16, 2025 at 17:30

Jun
23

Women in Logic Online – Talk with Sara Negri

Axioms as rules in intuitionistic logic
Monday, June 23, 2025 at 17:00

Jun
11

Talk by Malvin Gattinger: Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean

Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean
Wednesday, June 11, 2025 at 16:00

Mar
19

Women in Logic Online – Talk with Sonja Smets

Wednesday, March 19, 2025 at 17:00

Feb
27

Talk by Guillermo Badia: Codd’s Theorem for Databases over Semirings

Codd’s Theorem for Databases over Semirings
Thursday, February 27, 2025 at 17:00

Jan
24

Women in Logic Online – Talk with Francesca Poggiolesi

Explanatory Proofs: From Logic to Mathematics
Friday, January 24, 2025 at 17:00