Date Speaker Titlesort icon
05/05/2017 Quentin Hautem Window parity games: an alternative approach toward parity games with time bounds
26/02/2016 Philippe Schnoebelen Well-Structured Systems: Algorithms and Complexity
04/12/2009 Alain Finkel Well Structured Transition Systems
15/02/2008 Jean-François Raskin Visibly Pushdown Transducers
24/09/2012 Marc Ducobu Visibly pushdown automata on trees: universality and u-universality
22/04/2016 Javier Esparza Verification of population protocols
30/11/2012 Roland Meyer Verification of Concurrent Programs under Relaxed Memory Models
17/10/2003 Anca Muscholl Validating Message Sequence Charts
08/06/2007 Ben Moszkowski Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
08/12/2006 Kim G. Larsen UPPAAL Tiga -- Controller Synthesis for Real-Time Systems
21/04/2017 Olivier Gauwin Two-way vs one-way automata and transducers
06/06/2014 János Flesch Two classes of infinite duration games
04/12/2009 Véronique Bruyère Turn-Based Quantitative Multiplayer Non Zero-sum Games on Finite Graphs
13/05/2011 Sophie Tison Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's new?
27/02/2015 Mikołaj Bojańczyk Transducers With Origin Information
28/11/2014 Ahmed Bouajjani Tractable Refinement Checking for Concurrent Objects
26/02/2016 Nathan Lhote Towards an algebraic theory of rational word functions
23/04/2004 Isabelle Pollet Towards a generic framework for the abstract interpretation of Java
16/05/2014 Florent Jacquemard Timed Verification and Testing of an Interactive Music System
07/12/2007 Thomas Brihaye Timed Concurrent Game Structures
10/03/2017 Raphaël Berthon Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
21/03/2003 Philippe Schnoebelen The Verification of Probabilistic Lossy Channel Systems
18/02/2011 Krishnendu Chatterjee The Theory of Graph Games: Mixing Chess, Soccer and Poker
28/05/2004 Thomas Henzinger The Holy Grail of Computer Science: Automatic Program Verification
13/02/2009 Jerome Leroux The General Vector Addition System Reachability Problem by Presburger Inductive Invariants" and "TaPAS : The Talence Presburger Arithmetic Suite
17/12/2010 Michael Ummels The Complexity of Nash Equilibria in Stochastic Games
16/12/2005 Thierry Jéron Test Generation using Verification
29/01/2016 Nicolas Markey Temporal logics for multi-player games
24/02/2017 Dejan Nickovic Temporal Logic as Filtering
30/03/2018 Luc de Raedt TBA
30/03/2018 Jan Křetínský TBA
27/04/2018 Pierre Ganty TBA
16/12/2011 Barbara Jobstmann Synthesizing Efficient Controllers in Probabilistic Environments
27/02/2015 Christof Löding Synthesis of Transducers from Automatic Specifications
24/05/2012 Mahsa Shirmohammadi Synchronization in Markov Decision Processes
20/05/2016 Pierre-Alain Reynier Survey on transducers of (nested) words: decidability, logic and algebra
04/11/2011 Thomas Brihaye Subgame Perfection for Equilibria in Quantitative Reachability Games
15/12/2006 Marcin Jurdziński Subexponential algorithms for solving parity games
24/09/2012 Rajeev Alur Streaming Transducers
25/11/2005 Theo Ruys SPIN: A Swiss Army Knife
16/12/2005 Petr Jancar Some techniques and results in deciding bisimilarity
31/01/2014 Daniel Le Berre Solvers and tools to tackle problems in propositional logic
20/01/2012 Marco Faella Selected Topics in Controller Synthesis
14/03/2008 Blaise Genest Searchs in graphs for Verification and Partial Order Reductions
22/02/2013 Pavithra Prabhakar Scalable Verification of Hybrid Systems
23/01/2015 Joost-Pieter Katoen Safety and Liveness -- New Results and Perspectives
26/10/2007 Nicolas Markey Robust Analysis of Timed Automata
10/03/2017 Marielle Stoelinga Risk happens, and how stochastic model checking can help.
05/05/2017 Marc Zeitoun Revisiting concatenation hierarchies of regular languages
17/10/2008 Christophe Morvan Regular graphs : a perfect model for infinite state systems?