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

    Read More
  • 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

    Read More
  • Talk by George Metcalfe: Substructural Logics with Minimally True Tautologies

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

    Read More
  • 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 […]

    Read More
  • 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

    Read More
  • 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 […]

    Read More
  • Helmut Veith Stipend: Announcement

    It is our pleasure to announce that the 8th edition of the Helmut Veith Stipend for Female Master’s Students in Computer Science (submission period end of November 2023) has concluded with the selection of four recipients! Seeing that the committee received an unprecedented number of qualified applications (180 submissions in total), it seemed impossible to […]

    Read More
  • Talk by Guillermo Badia: Logical Characterizations of Weighted Complexity Classes

    Logical Characterizations of Weighted Complexity Classes
    Tuesday, August 27, 2024 at 11:00

    Read More
  • LogicLounge at CAV in Montreal: Realizing Leibniz’s Dream

    Scott Shapiro, Yale Law School: Realizing Leibniz’s Dream

    This LogicLounge was held as part of the CAV2024 (the 36th International Conference on Computer Aided Verification) program in Montreal on July 25, 2024. Essentially, Shapiro explored how formal methods and LLMs can be utilized to realize Leibniz’s dream of automated legal reasoning.

    Abstract: In the 17th Century, the […]

    Read More
  • WWTF-Funding for project AXAIS

    Funding News! The project “Acquiring and explaining norms for AI systems” (AXAIS) will be funded by the WWTF (Vienna Science and Technology Fund) under the call Information and Communication Technology – Digital Humanism – ICT23-030.

    The principal investigator is Agata Ciabattoni (TU Wien and VCLA); her co-principal investigators are John Horty (University of Maryland) and Cristinel […]

    Read More

Latest Talks

(» further talks)
Oct
10

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

Oct
4

Talk by George Metcalfe: Substructural Logics with Minimally True Tautologies

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

Aug
29

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

Aug
27

Talk by Guillermo Badia: Logical Characterizations of Weighted Complexity Classes

Logical Characterizations of Weighted Complexity Classes
Tuesday, August 27, 2024 at 11:00

Jun
5

Talk by David Pearce: Logic, Accountability, and Design

Logic, Accountability, and Design
Wednesday, June 5, 2024

May
28

LogicLounge 2024 with Georg Gottlob

Artificial Intelligence and Artificial Ignorance
Tuesday, May 28, 2024 at 16:00