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

Previous talks

Sonja Smets
Wed, Mar 19 2025 at 17:00 | Online via Zoom

Guillermo Badia – Codd’s Theorem for Databases over Semirings (details)
Thu, Feb 27 2025 at 17:00 | Favoritenstrasse 9-11, FAV Lecture Hall 2 (ground floor)

– Explanatory Proofs: From Logic to Mathematics (details)
Fri, Jan 24 2025 at 17:00 | Online via Zoom

Joao Marques-Silva – Trustable Explainable AI -- A Redemption by Logic (details)
Tue, Jan 14 2025 at 17:00 | zoom and youtube

Ken Satoh (NII Tokyo) – NL interface of PROLEG system and extracting normative sentences from German traffic judgements (details)
Mon, Dec 09 2024 at 14:30 | Favoritenstrasse 9-11, Seminar Room FAV 3 Zemanek

Hanoch Ben-Yami – The Quantified Argument Calculus: Introduction and Research Directions (details)
Wed, Dec 04 2024 at 16:30 | Favoritenstrasse 9, Seminar Room FAV EG B (von Neumann)

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)

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)