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

Sara Negri – Axioms as rules in intuitionistic logic (details)
Mon, Jun 23 2025 at 17:00 | Online via Zoom

Malvin Gattinger – Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean (details)
Wed, Jun 11 2025 at 16:00 | Gußhausstraße 27-29, Seminar Room 127 (third floor)

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)