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

Juliet Floyd – In and Out of Mind: Wittgenstein and Gödel, Post and Turing (details)
Thu, Jul 25 2019 at 17:00 | Universität Wien, Großen Festsaal, Universitätsring 1, 1010 Wien

John D. Barrow – 100 Years of Universes (details)
Fri, Jul 26 2019 at 18:30 | Universität Wien, Großen Festsaal, Universitätsring 1, 1010 Wien

Previous talks

Alessio Gizzi – Multiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and Simulations (details)
Thu, Jul 11 2019 at 12:45 | Library 191-1 (Treitlstrasse 3, 3rd Floor)

Andrea Cali – Querying Web Data: A Computational Perspective (details)
Mon, Jul 08 2019 at 17:00 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Andreas Pieris – Counting Database Repairs under Primary Keys Revisited (details)
Mon, Jul 08 2019 at 16:00 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Peter Stuckey – The Multi-Agent Path Finding Problem (details)
Mon, Jul 01 2019 at 15:00 | Seminarraum FAV 01 B (Seminarraum 187/2) (Favoritenstrasse 9-11 - 1. Obergeschoß Room Number: HF0109)

Olivia Erdélyi – Why Bother With Regulation and Ethics? We Just Develop the Technology... (details)
Tue, Jun 25 2019 at 13:00 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Mateus de Oliveira Oliveira – Some Width Measures for Proofs (details)
Mon, Jun 24 2019 at 16:00 | FAV Hörsaal 2 (room FAV HS 2), Favoritenstrasse 9-11, 1040, Vienna

Daniel Le Berre – Recursive Explore and Check Abstraction Refinement (RECAR) (details)
Tue, Jun 18 2019 at 14:00 | Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)

Anne Schreuder – Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence (details)
Mon, Jun 17 2019 at 10:00 | FORSYTE/RiSE seminar talk by Mateus de Oliveira Oliveira (U. Bergen, http://unitslice.org/