Talks

talk

The Algorithms and Complexity Group regularly hosts talks in the VCLA talks series. For detailed information and previous talks, please follow the links.

Upcoming talks

Laura Kovács – Automating Game Reasoning in Blockchain Security (details)
Mon, Nov 25 2024 at 17:00 | Online via Zoom (see link for registration below)

Previous talks

Jan von Plato (University of Helsinki) – Jan von Plato: Two Gödelian Topics in Modal Logic (details)
Thu, Oct 10 2024 at 16:00 | Favoritenstrasse 9-11, Seminar Room Gödel, FAV EG C (ground floor)

Georg Metcalfe (University of Bern) – Substructural Logics with Minimally True Tautologies (details)
Fri, Oct 04 2024 at 16:00 | Favoritenstrasse 9-11, Seminar Room von Neumann, FAV EG B (ground floor)

Rajeev Gore (Monash University -- Melbourne, Australia) – CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT (details)
Thu, Aug 29 2024 at 15:00 | Favoritenstrasse 9-11, Seminar Room FAV 01 A (first floor)

Guillermo Badia – Logical Characterizations of Weighted Complexity Classes (details)
Tue, Aug 27 2024 at 11:00 | Favoritenstrasse 9-11, Seminar Room FAV 01 A (first floor)

Georg Gottlob – Artificial Intelligence and Artificial Ignorance (details)
Tue, May 28 2024 at 16:00 | Café Museum, Operngasse 7, Extrazimmer, 1010 Wien

Byron Cook – Business of Proofs (details)
Wed, Apr 17 2024 at 11:15 | Treitlstraße 3 (Campus Freihaus), Informatikhörsaal (ground floor)

Nick Bezhanishvili – Degrees of the Finite Model Property for Superintuitionistic and Modal Logics (details)
Tue, Apr 16 2024 at 13:00 | Favoritenstraße 9-11, Seminar Room Gödel (FAV EG C)

Reiner Hähnle – Context-aware Trace Contracts (details)
Tue, Mar 26 2024 at 13:00 | Favoritenstrasse 9-11, Helmut Veith Lecture Hall (ground floor)

David Pearce – Logic, Accountability, and Design (details)
Sun, Dec 31 1899 | Erzherzog-Johannplatz 1, 1040 Vienna, Conference-Room FB02 (2nd floor)