Talks

We regularly host talks in the RiSE seminar and VCLA talks series. The following table summarizes the latest talks in each series – for detailed information or previous talks, please follow the links to the respective websites.

Logo ARiSEVCLA Logo

John D. Barrow100 Years of UniversesFri, Jul 26 at 18:30Universität Wien, K…details
Juliet FloydIn and Out of Mind: Wittgenstein and Gödel, Post and Turing Thu, Jul 25 at 17:00Universität Wien, K…details
Alessio GizziMultiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and SimulationsThu, Jul 11 at 12:45Library 191-1 (Treit…details
Andrea CaliQuerying Web Data: A Computational PerspectiveMon, Jul 08 at 17:00Seminar Room Gödel,…details
Andreas Pieris Counting Database Repairs under Primary Keys RevisitedMon, Jul 08 at 16:00Seminar Room Gödel,…details
Peter StuckeyThe Multi-Agent Path Finding ProblemMon, Jul 01 at 15:00Seminarraum FAV 01 B…details
Olivia Erdélyi Why Bother With Regulation and Ethics? We Just Develop the Technology...Tue, Jun 25 at 13:00Seminar Room Gödel,…details
RiSE seminarMateus de Oliveira OliveiraSome Width Measures for ProofsMon, Jun 24 at 16:00TU Wien, Favoritens…details
Mateus de Oliveira Oliveira Some Width Measures for ProofsMon, Jun 24 at 16:00FAV Hörsaal 2 (room…details
Daniel Le BerreRecursive Explore and Check Abstraction Refinement (RECAR)Tue, Jun 18 at 14:00Library of the Algor…details
Anne Schreuder Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric PersistenceMon, Jun 17 at 10:00FORSYTE/RiSE seminar…details
RiSE seminarAnne SchreuderAutomatic Synthesis of Polynomial Probabilistic Invariants via Geometric PersistenceMon, Jun 17 at 10:00TU Wien, Favoritens…details
RiSE seminarAleksandar NanevskiType and Proof Structures for Concurrent Software VerificationThu, Aug 16 at 17:00TU Wien, Favoritens…details
RiSE seminarJoost-Pieter KatoenBayes meets Dijkstra -- Exact Inference by Program VerificationWed, Jun 06 at 17:00TU Wien, Seminarraum…details
RiSE seminarWarren HuntIndustrial Hardware and Software Verification with ACL2Wed, May 30 at 17:00TU Wien, Seminarraum…details
RiSE seminarJoel OuaknineProgram InvariantsTue, May 29 at 15:45IST, Mondi Seminar R…details
RiSE seminarAlexey Bakhirkin Towards Fast Parametric Identification for STLWed, May 23 at 17:00IST Austria, Mondi 2details
RiSE seminarStefan SchmidPolynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic ApproachWed, May 09 at 17:00IST, Mondi 2details
RiSE seminarStefan RatschanCounter-example Guided Inductive Synthesis in the Continuous WorldTue, May 08 at 15:00IST Austria, Mondi 2details
RiSE seminarOded PadonDeductive verification of distributed protocols in first-order logicWed, Apr 18 at 17:00IST Austria, Mondi 2details

Latest News

CAV 2013 in St. Petersburg!

Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.  

Continue reading

Full news archive