| 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 |
Anthony Widjaja Lin |
Decidable Logics for Path Feasibility of Programs with Strings |
Zemanek, Favoritenstrasse 9-11, 1040 Wien |
|
| Wed, Nov 22, 2017 |
Dana Drachsler Cohen |
Synthesis with Abstract Examples |
IST Austria |
Mondi 2 |
| 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 |
Adrian Rebola Pardo |
DRAT proofs for XOR reasoning |
IST Austria |
Thursday, 4pm, Mondi 3 |
| Thu, Nov 3, 2016 |
Jan Strejček |
Partial but Precise Loop Summarization and Its Applications |
IST Austria |
Thursday, 5pm, 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 |
Keren Censor-Hillel |
Distributed Algorithms as Combinatorial Structures |
TU Wien |
Time: 13:00 |
| Tue, Feb 16, 2016 |
Dan Alistarh |
Solving Memory Reclamation Automatically and Efficiently |
IST Austria |
Day: Tuesday |
| 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 |
Caterina Urban |
Abstract Interpretation as Automated Deduction |
TU Wien |
Time: 9:00, Day:Friday |
| Fri, Aug 14, 2015 |
Alexey Ignatiev |
Efficient Model Based Diagnosis with Maximum Satisfiability |
TU Wien |
Time: 10:15, Day: Friday
|
| Thu, Aug 6, 2015 |
Goran Frehse |
Set-Based Reachability of Hybrid Systems using Support Functions |
IST Austria |
16:00 |
| 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 |
Sicun Gao |
Models, Decisions, and Better Cyber-Physical Systems |
IST Austria |
|
| Thu, Sep 19, 2013 |
Christoph Lenzen & Ulrich Schmid |
Fault-tolerant Clock Distribution in VLSI Circuits and Beyond |
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 |
|
