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

Facebook group for Austrian computer scientists

There is a new facebook group for communication among Austrian computer scientists: https://www.facebook.com/groups/AustrianComputerScience/ For those who are skeptical about facebook, we created a read-only mirror (beta version): http://forsyte.at/acs/  

Continue reading

Johannes Kinder joins Royal Holloway

After a postdoc with George Candea, FORSYTE alumnus Johannes Kinder will start a lecturer position at Royal Holloway in September 2013! Congratulations! http://people.epfl.ch/johannes.kinder?lang=en&cvlang=

Continue reading

Full news archive