Datesort icon Speaker Title
25/01/2013 Romain Brenguier Nash Equilibria in Concurrent and Timed Games
22/02/2013 Pavithra Prabhakar Scalable Verification of Hybrid Systems
22/02/2013 Alexander Linden A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
29/03/2013 Giuseppe Lipari Component-based analysis of real-time systems
29/03/2013 Mickaël Randour Looking at Mean-Payoff and Total-Payoff through Windows
18/04/2013 Wolfgang Thomas Francqui Chair Inaugural Lecture
26/04/2013 Wolfgang Thomas Francqui Chair: Monadic Theories
03/05/2013 Wolfgang Thomas Francqui Chair: Games
28/10/2013 Nicolas Markey, Quentin Menet, Mickael Randour, James Worrell Nord pas de Calais/Belgium Congress of Mathematics: Game Theory
29/11/2013 Marta Kwiatkowska Automated Verification and Strategy Synthesis for Probabilistic Systems
29/11/2013 Simon Busard Reasoning about strategies under partial observability and fairness constraints
31/01/2014 Daniel Le Berre Solvers and tools to tackle problems in propositional logic
31/01/2014 Nathalie Bertrand Active diagnosis for probabilistic systems
21/02/2014 Frédéric Mallet A tour of MARTE/CCSL: usage, simulation and verification
21/02/2014 Eun-Young Kang Enabling Schedulability Analysis for Automotive Systems
28/03/2014 Jérôme Leroux On the Boundedness Problem for Pushdown Vector Addition Systems
28/03/2014 Mahsa Shirmohammadi Limit Synchronization in Markov Decision Processes​
16/05/2014 Florent Jacquemard Timed Verification and Testing of an Interactive Music System
16/05/2014 Emmanuel Filiot From Two-Way to One-Way Finite State Transducers
06/06/2014 János Flesch Two classes of infinite duration games
06/06/2014 Julie De Pril Existence of Secure Equilibrium in Multi-Player Games with Perfect Information
28/11/2014 Ahmed Bouajjani Tractable Refinement Checking for Concurrent Objects
28/11/2014 Isabelle Mainz Acceleration of affine hybrid transformations
12/12/2014 Arnaud Sangnier Parameterized Reachability in Networks with Many Identical Processes
12/12/2014 Ocan Sankur Multiple-Environment Markov Decision Processes
23/01/2015 Joost-Pieter Katoen Safety and Liveness -- New Results and Perspectives
23/01/2015 Mickael Randour Percentile Queries in Multi-Dimensional Markov Decision Processes
27/02/2015 Christof Löding Synthesis of Transducers from Automatic Specifications
27/02/2015 Emmanuel Filiot Finite-Valued Weighted Automata
27/02/2015 Mikołaj Bojańczyk Transducers With Origin Information
27/02/2015 Guillermo A. Pérez Reactive Synthesis Without Regret
20/03/2015 Patricia Bouyer-Decitre On the optimal reachability problem in weighted timed games
20/03/2015 Romain Brenguier Assume-Admissible Synthesis
29/01/2016 Nicolas Markey Temporal logics for multi-player games
29/01/2016 Stéphane Le Roux Nash equilibrium in multi-player multi-outcome games on finite graphs
26/02/2016 Philippe Schnoebelen Well-Structured Systems: Algorithms and Complexity
26/02/2016 Pierre Carlier Decisiveness and stochastic timed automata
26/02/2016 Parosh Aziz Abdulla Automatic Verification of Linearizability
26/02/2016 Nathan Lhote Towards an algebraic theory of rational word functions
02/04/2016 Several CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems
22/04/2016 Javier Esparza Verification of population protocols
22/04/2016 Guillermo A. Perez Admissibility in Quantitative Graph Games
20/05/2016 Pierre-Alain Reynier Survey on transducers of (nested) words: decidability, logic and algebra
20/05/2016 Ismaël Jecker On Equivalence and Uniformisation Problems for Finite Transducers
24/02/2017 Hsi-Ming Ho Metric Interval Temporal Logic Revisited
24/02/2017 Dejan Nickovic Temporal Logic as Filtering
24/02/2017 Serge Haddad From Continuous Petri nets to Petri nets and Back
24/02/2017 Victor Marsault Efficient algorithm to decide the periodicity of b-recognisable sets using MSDF convention
10/03/2017 Marielle Stoelinga Risk happens, and how stochastic model checking can help.
10/03/2017 Raphaël Berthon Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes