# 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.

Dana Scott | Free Logic: its Formalization and some Applications | Mon, Sep 30 at 16:00 | FAV Hörsaal 1 (grou… | details | |

Alexej Rotar | The Satisfiability Problem for Fragments of PCTL | Tue, Sep 24 at 15:50 | FH 5, Freihaus build… | details | |

Martin Munoz | Descriptive Complexity for Counting Complexity Classes | Tue, Sep 24 at 15:30 | FH 5, Freihaus build… | details | |

Yuri Gurevich | LOGIC in computer science and software industry (and in mathematics, time permitting) | Wed, Sep 18 at 16:00 | Lecture room FAV 1, … | details | |

Tanja Schindler | A DPLL(T) theory solver for quantified formulas | Mon, Sep 16 at 11:00 | FAV Hörsaal 1 (grou… | details | |

RiSE seminar | Tanja Schindler | A DPLL(T) theory solver for quantified formulas | Mon, Sep 16 at 11:00 | TU Wien, Favoritens… | details |

Joshua Blinkhorn | Building Strategies into DQBF Proofs | Tue, Aug 27 at 11:00 | Library of the Algor… | details | |

John D. Barrow | 100 Years of Universes | Fri, Jul 26 at 18:30 | Universität Wien, K… | details | |

Juliet Floyd | In and Out of Mind: Wittgenstein and Gödel, Post and Turing | Thu, Jul 25 at 17:00 | Universität Wien, K… | details | |

Alessio Gizzi | Multiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and Simulations | Thu, Jul 11 at 12:45 | Library 191-1 (Treit… | details | |

Andrea Cali | Querying Web Data: A Computational Perspective | Mon, Jul 08 at 17:00 | Seminar Room Gödel,… | details | |

RiSE seminar | Mateus de Oliveira Oliveira | Some Width Measures for Proofs | Mon, Jun 24 at 16:00 | TU Wien, Favoritens… | details |

RiSE seminar | Anne Schreuder | Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence | Mon, Jun 17 at 10:00 | TU Wien, Favoritens… | details |

RiSE seminar | Aleksandar Nanevski | Type and Proof Structures for Concurrent Software Verification | Thu, Aug 16 at 17:00 | TU Wien, Favoritens… | details |

RiSE seminar | Joost-Pieter Katoen | Bayes meets Dijkstra -- Exact Inference by Program Verification | Wed, Jun 06 at 17:00 | TU Wien, Seminarraum… | details |

RiSE seminar | Warren Hunt | Industrial Hardware and Software Verification with ACL2 | Wed, May 30 at 17:00 | TU Wien, Seminarraum… | details |

RiSE seminar | Joel Ouaknine | Program Invariants | Tue, May 29 at 15:45 | IST, Mondi Seminar R… | details |

RiSE seminar | Alexey Bakhirkin | Towards Fast Parametric Identification for STL | Wed, May 23 at 17:00 | IST Austria, Mondi 2 | details |

RiSE seminar | Stefan Schmid | Polynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic Approach | Wed, May 09 at 17:00 | IST, Mondi 2 | details |

RiSE seminar | Stefan Ratschan | Counter-example Guided Inductive Synthesis in the Continuous World | Tue, May 08 at 15:00 | IST Austria, Mondi 2 | details |