RiSE Seminar

Please subscribe to the RiSE mailing list here:
(the list is for RiSE seminar and other public announcements, and by non-RiSE people about events that may interest us)
For questions regarding the RiSE seminar, please contact Bernhard Gleiss.

The seminar meets on Thursdays at 17:00, alternately at IST Austria and TU Vienna.
At IST Austria, the seminar takes place in conference room Mondi 3, on the ground floor of the main building.
At TU Vienna, the seminar takes place in the Seminar room Zemanek (ground floor, stiege 3, green area) at Favoritenstrasse 9-11.
All participants are invited to join the RiSE Jour Fixe with coffee and cookies, after the seminar.
The seminar schedule is available as calendar feed (right-click, copy link address, and paste into your calendar application).

Switch to calendar view.

All Talks – Current Talks – Previous Talks
Date Speaker Topic Location Notes
Wed, Dec 4, 2019 Joost-Pieter Katoen Probabilistic Programming: Machine Learning for the Masses? Kontaktraum, Gußhaustrasse 27-29, 6th floor (new EI building, Stiege I), TU Wien
Mon, Sep 16, 2019 Tanja Schindler A DPLL(T) theory solver for quantified formulas TU Wien, Favoritenstr. 9-11, FAV Hörsaal 1 (Ground Floor) Changed date to September 16!
Mon, Jun 24, 2019 Mateus de Oliveira Oliveira Some Width Measures for Proofs TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
Mon, Jun 17, 2019 Anne Schreuder Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
Thu, Aug 16, 2018 Aleksandar Nanevski Type and Proof Structures for Concurrent Software Verification TU Wien, Favoritenstr. 9-11, Seminarraum Gödel
Wed, Jun 6, 2018 Joost-Pieter Katoen Bayes meets Dijkstra -- Exact Inference by Program Verification TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
Wed, May 30, 2018 Warren Hunt Industrial Hardware and Software Verification with ACL2 TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
Tue, May 29, 2018 Joel Ouaknine Program Invariants IST, Mondi Seminar Room 2, Central Building
Wed, May 23, 2018 Alexey Bakhirkin Towards Fast Parametric Identification for STL IST Austria, Mondi 2
Wed, May 16, 2018 Melkior Ornik Deception and Unpredictability in Control Systems IST Austria, Mondi 2
Wed, May 9, 2018 Stefan Schmid Polynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic Approach IST, Mondi 2
Tue, May 8, 2018 Stefan Ratschan Counter-example Guided Inductive Synthesis in the Continuous World IST Austria, Mondi 2 Time shifted to 3pm!
Wed, Apr 18, 2018 Oded Padon Deductive verification of distributed protocols in first-order logic IST Austria, Mondi 2
Wed, Apr 11, 2018 Suguman Bansal Comparator automata in quantitative verification IST Austria, Mondi 2
Thu, Apr 5, 2018 Sergiy Bogomolov Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata IST Austria Mondi 3
Wed, Apr 4, 2018 Lionel Briand Automated Testing of Autonomous Systems IST Austria, Raiffeisen Lecture Hall
Fri, Mar 16, 2018 Philipp Rümmer Deciding and Interpolating Algebraic Data Types by Reduction TU Wien, HS Zemanek, Favoritenstr. 9-11 Time: 10:30
Mon, Feb 26, 2018 Alexandra Silva CALF — a categorical automata learning framework TU Wien
Wed, Feb 21, 2018 Gabriel Juhás Synthesis of Petri Nets from Prime Event Structures Mondi 2, IST Austria
Wed, Feb 7, 2018 Kim G. Larsen TBA Raiffeisen Lecture Hall, IST Austria
Fri, Feb 2, 2018 Nicolas Mazzocchi Decidable weighted expressions with Presburger combinators IST Austria Large seminar room, ground floor of Office Building West
Wed, Dec 6, 2017 Tom van Dijk State of the art parity game solving EI 9 Hlawka, Gußhausstraße 27-29, TU Wien
Mon, Nov 27, 2017 Damien Pous TBA Mondi 2, IST Austria
Wed, Nov 22, 2017 Dana Drachsler Cohen Synthesis with Abstract Examples IST Austria Mondi 2
Wed, Nov 22, 2017 Anthony Widjaja Lin Decidable Logics for Path Feasibility of Programs with Strings Zemanek, Favoritenstrasse 9-11, 1040 Wien
Tue, Nov 21, 2017 Anthony Widjaja Lin Program Analysis through the Lens of Computational Logic TU Wien, Lecture room EI9 Hlawka, Gusshausstrasse 27-29
Thu, Nov 9, 2017 Piotrek Hofman State equation for Data Petri Nets IST Austria Mondi 3
Wed, Nov 8, 2017 Michael I. Jordan On Computational Thinking, Inferential Thinking and Data Science IST - Raiffeisen Lecture Hall, Central Building please register here by October 31
Fri, Oct 6, 2017 Somesh Jha RiSE Invited Lecture: Practical Black-Box Attacks against Machine Learning TU Wien, HS Zemanek, Favoritenstr. 9-11 Friday 2pm
Thu, Sep 28, 2017 Goran Frehse Using Template Polyhedra and ODEs for the Reachability Analysis of Nonlinear Dynamic Systems IST Austria Mondi 2
Tue, Sep 26, 2017 Veselin Raychev Machine Learning for Programming IST Austria Mondi 2 (held as a CS Talk)
Wed, Sep 13, 2017 Miriam García Soto An Algorithmic Approach for Stability Verification of Hybrid Systems IST Austria Mondi 3
Wed, Sep 6, 2017 Johannes Kloos Heap-based reasoning about asynchronous programs IST Austria Mondi 3
Fri, Jun 30, 2017 Jean-Pierre Talpin Model Checking the Flooding Time Synchronization Protocol TU Wien Seminarraum Zemanek, Favoritenstraße 9-11
Mon, Jun 26, 2017 Wojciech Czerwiński Regular separability of one-counters IST Austria Monday, 17:00, Large Seminar Room in Office Building West
Wed, Jun 21, 2017 František Blahoudek Advances in omega-automata for formal methods IST Austria Mondi 2
Wed, Jun 7, 2017 Zvonimir Rakamaric SMACK Software Verification Toolchain TU Wien Seminarraum Argentinierstraße, Argentinierstraße 8
Tue, Jun 6, 2017 Zvonimir Rakamarić Analysis and Synthesis of Floating-Point Routines IST Austria Mondi 2
Wed, May 31, 2017 Andrei Voronkov First-Order Interpolation and Interpolating Proofs Systems TU Wien Seminarraum Argentinierstraße, Argentinierstraße 8
Tue, May 23, 2017 Karel Horák Value iteration in stochastic games of imperfect information IST Austria Mondi 2
Wed, May 10, 2017 Matteo Sammartino Learning Nominal Automata IST Austria Mondi 3
Tue, May 2, 2017 Maximilian Jaroschek WHILE (looking for invariants) DO algebra TU Wien EI 4 Reithoffer HS, Gußhausstraße 25, 10:30
Thu, Apr 20, 2017 Joost-Pieter Katoen Principles of Probabilistic Programming IST Austria Thursday, Mondi 2, 17:15
Wed, Apr 12, 2017 Radu Grigore Java Generics are Turing Complete IST Austria Mondi 2
Wed, Apr 5, 2017 Markus N. Rabe A New Approach to Quantified Boolean Formulas IST Austria Mondi 2
Tue, Mar 21, 2017 Swen Jacobs Cutoff Results for Guarded Protocols IST Austria Seminar Room in the foyer of Building West, Tuesday, 17:00
Fri, Mar 10, 2017 Kuldeep S. Meel Constrained Counting and Sampling: Bridging the Gap between Theory and Practice IST Austria Mondi 2, 15:00
Wed, Mar 1, 2017 Filip Nikšić Hitting Families of Schedules: Episode 2 IST Austria Mondi 3
Thu, Feb 23, 2017 Ondřej Kunčar CoCon: A Non-Leaking Conference System TU Wien, Seminarroom Menger, Favoritenstr. 9--11, 3rd floor
Tue, Feb 21, 2017 Filippo Bonchi Full Abstraction for Signal Flow Graphs Seminarraum Zemanek, Favoritenstraße 9-11, TU Wien 17:30
Wed, Feb 1, 2017 Fabio Mogavero Solving Parity Games via Priority Promotion IST Austria Mondi 2
Tue, Jan 24, 2017 Shaull Almagor The Polytope-Collision Problem IST Austria
Wed, Dec 21, 2016 Malte Schwarzkopf Firmament: Fast, Centralized Cluster Scheduling at Scale IST Austria CS Talk
Tue, Dec 6, 2016 Rupak Majumdar [Software Testing] Hitting families of schedules TU Wien Seminarraum Argentinierstraße, Argentinierstraße 8
Wed, Nov 30, 2016 Mitra Tabaei Effective Error Explanation Techniques for Concurrent Software TU Wien Venue: Seminarraum Zemanek, Favoritenstraße 9-11, TU Wien
Thu, Nov 17, 2016 Dirk Beyer Correctness Witnesses: Exchanging Verification Results between Verifiers IST Austria Thursday, 3pm, Mondi 2
Thu, Nov 3, 2016 Jan Strejček Partial but Precise Loop Summarization and Its Applications IST Austria Thursday, 5pm, Mondi 3
Thu, Nov 3, 2016 Adrian Rebola Pardo DRAT proofs for XOR reasoning IST Austria Thursday, 4pm, Mondi 3
Thu, Oct 27, 2016 Johannes Kinder High System-Code Security with Low Overhead Seminarraum Argentinierstraße, Argentinierstraße 8 Thursday, 4pm
Mon, Oct 24, 2016 Tomáš Vojnar Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems TU Wien, Favoritenstraße 9-11, Seminarraum Zemanek 5pm, Seminarraum Zemanek
Wed, Oct 19, 2016 Moritz Sinn Complexity and Resource Bound Analysis of Imperative Programs using Difference Constraints HS 6, Hauptgebäude, TU Wien
Fri, Jul 1, 2016 Pavol Cerny Event-driven network programming IST Austria Day: Friday, Time: 3pm
Thu, Jun 30, 2016 Martin Schäf Classifying Bugs with Interpolants TU Wien
Tue, Jun 28, 2016 Tony Hoare Unifying Theories of Programming with Concurrency and Distribution IST Austria Day: Tuesday, Time: 16:00, CS Talk series  
Thu, Jun 2, 2016 Willy Zwaenepoel Really Big Data: ​Analytics on Graphs with Trillions of Edges IST Austria Time: 16:00, CS Talk Series
Tue, May 17, 2016 Erika Abraham SMT Solving for Non-Linear Arithmetic Theories IST Austria Day: Tuesday. Time: 16:00.
Thu, May 12, 2016 Idit Keidar Transactional Data Structure Libraries TU Wien
Tue, May 10, 2016 Branislav Bošanský Computing Optimal Strategies in Dynamic Games with Finite Horizon IST Austria Day: Tuesday, Time: 15:00
Wed, May 4, 2016 João Sousa Pinto Solvability of Matrix-Exponential Equations IST Austria Day: Wednesday
Thu, Apr 28, 2016 Tom van Dijk Workers in forests: developments in parallel decision diagrams TU Wien
Mon, Apr 18, 2016 Stanley Bak High-level Analysis and the Verification of Hybrid Automata IST Austria Day: Monday. Time: 14:00. Room: Mondi 2.
Tue, Apr 12, 2016 Joseph Sifakis Rigorous System Design in BIP TU Wien
Thu, Mar 10, 2016 Guillermo A. Pérez Minimising Regret in Discounted-Sum Games IST Austria
Wed, Mar 9, 2016 John Rushby Trustworthy Self-Integrating Systems IST Austria   Day: Wednesday
Tue, Mar 8, 2016 Cliff B. Jones Reasoning about Interference (or Lack Thereof) TU Wien Time: 17:30, Day: Tuesday,  Room: EI10 Fritz Paschke lecture room, Gußhausstraße 27-29
Thu, Mar 3, 2016 Cezara Dragoi Psync: A partially synchronous language for fault-tolerant distributed algorithms TU Wien
Thu, Feb 25, 2016 Rupak Majumdar Verification of Population Protocols IST Austria
Tue, Feb 23, 2016 Johannes Hölzl Markov chains and Markov decision processes in Isabelle/HOL TU Wien Time: 16:15, Day: Tuesday
Tue, Feb 16, 2016 Dan Alistarh Solving Memory Reclamation Automatically and Efficiently IST Austria

Day: Tuesday

Tue, Feb 16, 2016 Keren Censor-Hillel Distributed Algorithms as Combinatorial Structures TU Wien

Time: 13:00

Thu, Feb 11, 2016 Antonia Lechner On the complexity of linear arithmetic with divisibility and synthesis problems for one-counter automata IST Austria
Thu, Feb 4, 2016 Alessandro Abate Formal verification of complex control systems IST Austria
Thu, Jan 21, 2016 Christoph Matheja Tree-Like Grammars and Separation Logic TU Wien
Thu, Jan 14, 2016 Luca Laurenti Stochastic Approximations For Biochemical Systems IST Austria
Tue, Jan 12, 2016 Martin Suda Resolution-based Methods for Linear Temporal Reasoning TU Wien

Day: Tuesday,             Room: Menger

Mon, Jan 11, 2016 Mooly Sagiv Reasoning about Program Data Structure Shape: from the Heap to Distributed Systems IST Austria

Day: Monday,               Room: Mondi 2

Thu, Dec 17, 2015 Ronald de Haan Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics TU Wien
Thu, Dec 10, 2015 Sayan Mitra Automating invariant and progress proofs for distributed systems TU Wien

Time: 17:30

Thu, Nov 26, 2015 Marko Horvat Hardening current (and future) security protocol standards IST Austria
Tue, Nov 24, 2015 Christian Herrera Quasi-equal Clock Reduction: Eliminating Assumptions on Networks IST Austria

Time: 16:00, Day: Tuesday

Thu, Nov 12, 2015 Maria Gorinova Proving Conditional Termination IST Austria
Thu, Oct 29, 2015 Sven Schewe Beautiful games you cannot stop playing IST Austria
Tue, Oct 13, 2015 Christian Schilling Adaptive moment closure for parameter inference of biochemical reaction networks IST Austria

Time: 16:00, Day: Tuesday

Mon, Oct 12, 2015 Bertrand Meyer A Theory of Programs TU Wien

Time: 10:00, Day: Monday

Venue: Theresianumgasse 27, HS 1, 1040 Vienna

Thu, Oct 8, 2015 Stefan Kiefer On the total variation distance of labelled Markov chains IST Austria
Tue, Oct 6, 2015 David Safranek Parameter Synthesis by Model Checking in Formal Biochemical Space IST Austria

Time: 16:00, Day: Tuesday

Thu, Sep 24, 2015 Jyotirmoy Deshmukh Formal methods for Powertrain Control Software IST Austria
Thu, Sep 17, 2015 Klaus von Gleissenthall Synthesizing Cardinality Invariants for Parameterized Systems IST Austria
Thu, Sep 10, 2015 Joel Ouaknine Reachability for Linear Dynamical Systems IST Austria

Room: Mondi 1

Fri, Aug 14, 2015 Alexey Ignatiev Efficient Model Based Diagnosis with Maximum Satisfiability TU Wien

Time: 10:15, Day: Friday

Fri, Aug 14, 2015 Caterina Urban Abstract Interpretation as Automated Deduction TU Wien

Time: 9:00, Day:Friday

Thu, Aug 6, 2015 Goran Frehse Set-Based Reachability of Hybrid Systems using Support Functions IST Austria


Tue, Aug 4, 2015 Stephan Holzer New Algorithms and Lower Bounds in Distributed Computing

Time: 16:00                     Day: Tuesday                    Room: Menger room, Favoritenstrasse 11, 3rd floor

Wed, Jul 1, 2015 Thomas Pani Empirical Software Metrics for Benchmarking of Verification Tools IST Austria

Starts right after Thomas Ferrère's talk

Wed, Jul 1, 2015 Thomas Ferrère Trace Diagnostics using Temporal Implicants IST Austria

Day: Wednesday

Wed, Jun 10, 2015 Tomáš Vojnar From Pointers to List Containers TU Wien

Time: 16:00.                     Day: Wednesday.                Room: Lecture hall EI2, Gußhausstraße 25, 2.Stock, Stiege VIII

Wed, Jun 3, 2015 Arjun Radhakrishna Synthesis through Unification IST Austria

Day: Wednesday

Thu, May 21, 2015 András Vörös Saturation-based incremental LTL model checking with inductive proofs TU Wien
Tue, May 19, 2015 Franz Franchetti Formal Software Synthesis of Computational Kernels IST Austria

Time: 16:00, Day: Tuesday, Room: Mondi 1 (Additional RiSE seminar)

Thu, May 7, 2015 Ventsislav Chonev Reachability Problems for Linear Dynamical Systems IST Austria
Thu, Apr 30, 2015 Yoram Moses Principles of Coordination in Multi-agent Systems TU Wien
Thu, Apr 16, 2015 Igor Konnov SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms IST Austria
Thu, Mar 19, 2015 Mahsa Shirmohammadi Decidability and Expressiveness of Synchronizing Markov Decision Processes and Synchronizing Probabilistic Automata IST Austria
Tue, Mar 10, 2015 Arshia Cont DataMill: Rigorous Performance Evaluation Made A Cyber-Physical System Approach to Automatic Music Accompaniment Salzburg

Time: 14:30. Google Hangouts on Air link: https://plus.google.com/events/cou4bpf7gfnh995l3th6p2qi7f8

Thu, Feb 19, 2015 Roopsha Samanta Succinct Representation of Concurrent Trace Sets TU Wien
Tue, Jan 27, 2015 Helmut Seidl Parametric Strategy Iteration TU Wien

Time: 17:30.  Room: El 4.   (Gußhausstrasse 25-29
2nd floor, room No. CF0245)

Mon, Jan 19, 2015 Ras Bodik Program Synthesis for Executable Biology IST Austria
Thu, Dec 4, 2014 Christian Scheideler Towards a rigorous base for the design of P2P systems TU Wien
Thu, Nov 27, 2014 Lenore D. Zuck Parameterized Verification: Theory and Practice TU Vienna

15:30 !

Thu, Nov 27, 2014 Pavithra Prabhakar Algorithmic Verification of Stability of Hybrid Systems TU Vienna
Thu, Nov 20, 2014 Nathan Wasser TBA TU Vienna
Thu, Nov 6, 2014 Ivan Radiček Feedback Generation for Performance Problems in Introductory Programming Assignments IST Austria
Tue, Nov 4, 2014 Richard Mayr Techniques to solve computationally hard problems in automata theory IST Austria

16:00 - 17:00 

Thu, Oct 9, 2014 Johann A. Makowsky Sets and Logic for CS: How to teach what is useful TU Vienna

 15:00 @ Seminarroom von Goedel (Favoritenstrasse 9-11, ground floor)

Thu, Oct 9, 2014 Michael Elberfeld Orienting Protein Interaction Networks IST Austria
Mon, Oct 6, 2014 Martin Rinard TBA IST Austria

Monday 2pm

Tue, Sep 23, 2014 Steen Vester Model-checking extensions of Alternating-time Temporal logics on One-counter game models IST Austria
Tue, Jul 8, 2014 Anthony Widjaja Lin A linear-time algorithm for the orbit problem over cyclic groups TU Wien
Thu, Jul 3, 2014 Moritz Sinn A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis IST Austria
Thu, May 8, 2014 Jakob Lechner Mitigation of Transient Faults and Timing Variations in GALS Circuits IST Austria
Tue, May 6, 2014 Ori Lahav Modular Reasoning about Heap Paths via Effectively Propositional Formulas IST Austria
Thu, Mar 13, 2014 Arnd Hartmanns Models, Tools and Techniques for Stochastic Timed Systems IST Austria
Thu, Feb 6, 2014 Daniel Gebler Compositional Metric Reasoning with Probabilistic Process Calculi IST Austria
Fri, Jan 31, 2014 Roland Meyer Verification of Concurrent Programs under Relaxed Memory Models IST Austria Friday 16:30
Thu, Jan 9, 2014 Franz Wotawa Test automation – How far shall we go? TU Wien
Thu, Dec 5, 2013 Mira Mezini From Active to Reactive Objects TU Wien
Thu, Nov 28, 2013 Sergiy Bogomolov Guided Search for Hybrid Systems IST Austria
Thu, Nov 21, 2013 Jakob Ruess Moment-based methods for parameter inference and experimental design for stochastic biochemical reaction networks. IST Austria
Thu, Nov 7, 2013 Aniello Murano Enriched Modal Logics TU Wien
Tue, Oct 15, 2013 Yakir Vizel Interpolants and SAT-based Model Checking When Size Matters IST Austria
Thu, Oct 3, 2013 Mark Batty C/C++ concurrency: thin-air values and library abstraction IST Austria
Thu, Sep 19, 2013 Christoph Lenzen & Ulrich Schmid Fault-tolerant Clock Distribution in VLSI Circuits and Beyond IST Austria
Thu, Sep 19, 2013 Sicun Gao Models, Decisions, and Better Cyber-Physical Systems IST Austria
Wed, Sep 18, 2013 Sicun Gao Delta-Decisions over the Reals TU Wien
Tue, Sep 17, 2013 Marcus Gelderie Strategy Composition in Compositional Games IST Austria
Thu, Sep 12, 2013 Matteo Mio IST Austria
Thu, Jul 11, 2013 Christoph Berkholz The complexity of k-consistency and bounded width resolution IST Austria
Thu, Jun 27, 2013 Aaron Bradley Incremental, Inductive Model Checking IST Austria 16:00 - 17:00
Thu, Jun 20, 2013 Jakub Michaliszyn Interval-based Approach to Temporal Reasoning IST Austria
Thu, Jun 13, 2013 Joel Oauknine Decision Problems for Linear Recurrence Sequences IST Austria
Thu, Jun 6, 2013 Alistair Stewart Polynomial time algorithms for Branching Markov (Decision) Processes
Wed, Jun 5, 2013 Sriram Rajamani Probabilistic Programming: A Program Analysis Perspective IST Austria
Thu, May 23, 2013 Alexey Gotsman Abstraction for Weakly Consistent Systems TU Wien
Thu, May 23, 2013 Doron Peled Concurrent Software Synthesis: Old Challenge - New Ideas TU Wien
Thu, Apr 18, 2013 Sublinear Bounds for Randomized Leader Election TU Wien
Fri, Apr 12, 2013 Nir Piterman Synthesis of biological models from mutation experiments IST Austria
Friday 15:00 - 16:00
Thu, Apr 11, 2013 Wilfried Steiner Model-Checking Fault-Tolerant Clock Synchronization Protocols TU Wien
Thu, Mar 14, 2013 Vesna Sesum-Cavic Self-Organizing Principles in Coping with Complexity of Distributed Software Systems IST Austria
Thu, Mar 7, 2013 Rainer Hähnle Abstract Symbolic Execution TU Wien
Thu, Feb 21, 2013 Diego Calvanese Verification of Relational Data-Centric Dynamic Systems with External Services TU Wien
Thu, Feb 14, 2013 Gerhard Schelhorn Verification of Linearizability and Lock-freedom IST Austria
Thu, Jan 31, 2013 Javier Esparza Parameterized Verification of Asynchronous Shared-Memory Systems TU Wien
Thu, Jan 24, 2013 Taylor Johnson Safety Verification for Parameterized Hybrid Automata Networks IST Austria 16:00 - 17:00
Thu, Jan 17, 2013 Alexander Pretschner Model-Based Security Testing: From Models to the real World TU Wien
Thu, Dec 20, 2012 Thomas Dillig and Isil Dillig Automated Error Diagnosis Using Abductive Inference IST Austria
Thu, Jan 1, 1970
Thu, Nov 29, 2012 Tomer Kotek Applications of logic in graph theory: definability of graph invariants TU Wien
Thu, Nov 22, 2012 Thomas Colcombet Regular cost functions IST Austria
Thu, Nov 15, 2012 Christoph Lenzen Near-optimal Distributed Routing Table Construction TU Wien
Thu, Nov 8, 2012 Szymon Toruńczyk P and NP with atoms IST Austria
Thu, Oct 18, 2012 Michael Emmi Bounded Phase Analysis of Message-Passing Programs TU Wien
Thu, Oct 11, 2012 Stefan Brunthaler NAMASTE: Adaptive Optimization in Interpreters IST Austria
Thu, Jan 1, 1970
Thu, Jul 12, 2012 Ruzica Piskac Code Completion using Type Inhabitation IST Austria
Mon, Jul 9, 2012 Alexander Rabinovich A proof of Kamp's theorem TU Vienna From 16:00
Thu, Jun 21, 2012 Ichiro Hasuo Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications IST Austria From 15:30
Thu, Jun 14, 2012 Ana Sokolova Quantitative Relaxation of Concurrent Data Structures TU Vienna
Thu, May 31, 2012 Vladimir Zakharov Equivalence checking problem: 1953-2011 (survey) TU Vienna
Wed, May 30, 2012 Nikolaj Bjorner Taking Satisfiability to the Next Level with Z3 TU Vienna Fritz Paschke HS, Gusshaustrasse
Fri, May 25, 2012 Byron Cook A New Approach to Temporal Property Verification TU Vienna Seminarraum Argentinierstrasse, Argentinierstrasse 8, ground floor, Room: EAEG06 from 11am
Thu, May 24, 2012 Thomas Nowak New Transience Bounds for Long Walks IST Austria
Thu, Apr 26, 2012 Christoph Lenzen Improved Bounds for Byzantine Self-Stabilizing Clock Synchronization TU Vienna
Tue, Apr 17, 2012 Sanjit Seshia Verification and Synthesis by Sciduction IST Austria @Mondi 3, from 16:00
Thu, Mar 29, 2012 Radu Grosu Cardiac-Cell Abstractions (ongoing work) IST Austria
Thu, Mar 15, 2012 Jasmin Fisher From Coding the Genome to Algorithms Decoding Life TU Vienna
Thu, Mar 8, 2012 Laura Kovacs Playing in the Grey Area of Proofs TU Vienna
Thu, Mar 1, 2012 Antonin Kucera Efficient analysis of stochastic systems and games with counters IST Austria Evolutionary Biology room
Thu, Jan 12, 2012 Hristina Palikareva Static Livelock Analysis in CSP TU Vienna
Tue, Dec 13, 2011 Azadeh Farzan Robustness Analysis of Decision-Making Programs With Applications to Robust Geometric Computation IST Austria
Tue, Dec 6, 2011 Johannes Gehrke Declarative Data-Driven Coordination Through Entanglement IST Austria
Thu, Nov 24, 2011 Tomas Brazdil Scheduling of Stochastically Generated Tasks IST Austria
Thu, Nov 17, 2011 Tomas Vojnar Forester: Shape Analysis Based on Forest Automata and Predator: A Brief Note on a New Separation Logic-based Tool TU Vienna
Tue, Nov 15, 2011 Sasha Rubin Representing Infinite Structures by Automata TU Vienna
Thu, Nov 10, 2011 Serdar Tasiran Location Pairs: A Test Coverage Metric fo Shared-Memory Concurrent Programs IST Austria
Thu, Nov 3, 2011 Jorg Brauer Automatic Abstraction for Bit-Vector Relations TU Vienna
Tue, Oct 25, 2011 Angelina Vidali Designing auctions for multi-parameter domains TU Vienna This talk will be at 17:00 in Zemanek HS, Favoritenstrasse 9, 1040 Vienna
Thu, Oct 20, 2011 Dejan Kostic Online Testing of Deployed Federated and Heterogeneous Distributed Systems IST Austria
Tue, Oct 18, 2011 Dietmar Berwanger Perfect-information construction for distributed games IST Austria This talk will be at 16:00 in the CS Meeting Room.
Thu, Oct 13, 2011 Reinhard Wilhelm Timing Analysis and Timing Predictability TU Vienna
Thu, Oct 6, 2011 - Joint PUMA/RiSE Seminar in Traunkirchen
photo gallery
Thu, Sep 29, 2011 Viktor Vafeiadis Verifying x86-TSO Fence Elimination Optimisations IST Austria
Tue, Sep 27, 2011 Gregor Goessler Definitions of Logical Causality for Trace Analysis IST Austria
Thu, Jul 7, 2011 Christoph Lenzen Tight Bounds for Parallel Randomized Load Balancing IST Austria Mondi 2
Thu, Jun 30, 2011 Manfred Broy Logics as Basis for a Theory for Requirements Specification and Architecture Design IST Austria Mondi 2
Wed, Jun 29, 2011 Radu Grosu Predicting Emergent Behavior in Cardiac Tissue: A Grand Challenge IST Austria Mondi 2
Mon, Jun 27, 2011 Christel Baier Quantitative Analysis of Randomized Systems and Probabilistic Automata TU Vienna Hoersaal 12, Karlsplatz 13 @ 10am
Tue, Jun 21, 2011 Byron Cook Proving that programs eventually do something good TU Vienna Festsaal, Karlsplatz 13
Thu, Jun 16, 2011 Vijay D'Silva DPLL and Abstract Interpretation TU Vienna 188/2 - @ 17.00
Thu, Jun 9, 2011 Johannes Kinder Analyzing x86 Executables with Jakstab IST Austria Mondi 2
Tue, May 31, 2011 Vojtech Forejt Quantitative Multi-Objective Verification for Probabilistic Systems IST Austria Mondi 2
Thu, May 26, 2011 Sebastian Biallas Formal Verification of PLC-Code TU Vienna 188/2 - @ 17.00
Thu, May 19, 2011 Maurice Herlihy Applications of Shellable Complexes to Distributed Computing IST Austria Mondi 2
Thu, May 12, 2011 Azadeh Farzan Verification of parameterized concurrent programs TU Vienna 188/2 - @ 17.00
Wed, May 11, 2011 Sumit Gulwani Program Synthesis for automating End-user programming and Education TU Vienna Festsaal, Karlsplatz 13
Thu, May 5, 2011 Florian Zuleger Resource Bound Analysis of Imperative Programs IST Austria Mondi 2
Thu, Apr 28, 2011 Rodrigo Rodrigues Percolating changes in incoop: a MapReduce system for incremental computations IST Austria Mondi 2
Wed, Apr 27, 2011 David Monniaux Distinguishing paths TU Vienna Zemanek
Thu, Apr 21, 2011 Igor V. Konnov Two Techniques of Parameterized Model Checking and Symmetry Reduction TU Vienna
Thu, Apr 14, 2011 Herbert Bos Give me back my data structures! Reverse engineering data structures from stripped binaries IST Austria Mondi 2
Thu, Apr 7, 2011 Eric Koskinen Systems Code Verification: A Moving Target IST Austria Mondi 2
Thu, Mar 24, 2011 Roger Wattenhofer Physical Algorithms IST Austria Mondi 2
Thu, Mar 17, 2011 Krystof Hoder Axiom Selection for Large Theory Reasoning TU Vienna
Thu, Mar 10, 2011 Laurent Doyen Energy and Mean-Payoff Games IST Austria
Thu, Feb 24, 2011 Ruzica Piskac Software Synthesis using Automated Reasoning TU Vienna
Thu, Feb 3, 2011 Ashutosh Gupta Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs IST Austria Starts at 15:00
Thu, Jan 27, 2011 Peter Robinson Achieving Timeliness without Clocks TU Wien Starts at 15:00
Thu, Jan 13, 2011 Leonid Ryzhyk Challenges in Automatic Device Driver Synthesis IST Austria
Tue, Jan 11, 2011 Gernot Heiser The road to trustworthy systems IST Austria Tuesday, 16:00
Thu, Dec 16, 2010 Pavol Cerny Streaming transducers for algorithmic verification of single-pass list processing programs TU Wien
Thu, Dec 9, 2010 Enrico Tronci Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems IST Austria
Thu, Dec 2, 2010 Etienne Andre An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems TU Wien
Thu, Nov 25, 2010 Olivier Serre Higher-order recursion schemes and the monadic closure IST Austria Starts at 15:30
Thu, Nov 18, 2010 Benoit Delahaye Constraint Markov Chains IST Austria
Thu, Nov 11, 2010 Christoph Lenzen Gradient Clock Synchronization TU Wien
Thu, Nov 4, 2010 Matthias Fuegger Analysis of fault-tolerant distributed on-chip algorithms IST Austria
Thu, Oct 28, 2010 Laura Kovacs Aligators for Arrays IST Austria Starts at 16:15
Thu, Oct 21, 2010 no seminar Alpine Verification Meeting / FMCAD
Thu, Oct 14, 2010 Mathieu Tracol Verifying omega-regular properties of probabilistic systems, and simple processes on probabilistic automata TU Wien
Thu, Oct 7, 2010 Udi Boker Temporal Quantitative Specification IST Austria
Thu, Jul 1, 2010 Social event - Barbeque IST Austria Thursday, 18:00
Tue, Jun 22, 2010 Muralidhar Talupur Going with the Flow: Parameterized Verification using Message flows TU Vienna
Tue, Jun 15, 2010 Helmut Seidl Semi-Definite Programming for Inferring Quadratic Invariants TU Vienna
Tue, Jun 8, 2010 Thomas Wies Decision Procedures for Data Structures IST Austria
Tue, Jun 1, 2010 Jean-Francois Raskin Compositional algorithms for LTL synthesis IST Austria
Tue, May 25, 2010 Heinrich Moser The Real-Time Distributed Computing Model TU Vienna Starts at 15:30
Tue, May 18, 2010 Peter Mueller Automatic Verification of Concurrent Programs in Chalice TU Vienna Starts at 15:15
Tue, May 11, 2010 Wilfried Steiner Introduction to the TTEthernet Synchronization Services and Report on the Formal Methods applied TU Vienna
Tue, May 4, 2010 Florian Zuleger The Reachability-bound Problem IST Austria
Tue, Apr 27, 2010 Barbara Jobstmann Quantitative Verification and Synthesis TU Vienna
Tue, Apr 13, 2010 Andrey Rybalchenko Modular characterization of reachability and/in multi-threaded environment IST Austria
Tue, Mar 30, 2010 Damien Zufferey Forward Analysis of Depth-Bounded Processes TU Vienna
Tue, Mar 23, 2010 Michael Tautschnig FQL: A Query Language for Program Testing IST Austria Starts at 15:00
Tue, Mar 16, 2010 Vasu Singh Transactional Memories: Algorithms and Verification Problems TU Vienna
Tue, Mar 9, 2010 Daniel Kroening Symbolic Counter Abstraction for Concurrent Software IST Austria
Tue, Mar 2, 2010 Andrei Voronkov Path Feasibility Analysis for String-Manipulating Programs TU Vienna