Verification Seminar

The seminar of the Formal Methods and Verification group at the Université Libre de Bruxelles usually takes place on Wednesday from 11:00 to 12:00 in the room «NO.8.Rotule», campus Plaine (show route).

To get informed of current and future exposés via our mailing list, please contact nicolas mazzocchi ulb ac be .

You can also subscribe to the (experimental) ICS calendar: https://lit9.ulb.ac.be/caldav/public.php/seminaire_mfv/calendar.

Upcoming Talks

05/07/2018 Mahsa Shirmohammadi (LIS - CNRS)
Costs and Rewards in Priced Timed Automata
04/07/2018 Guillermo A. Pérez (ULB)
When is Containment Decidable for Probabilistic Automata?

Past Talks

07/06/2018 František Blahoudek (Masaryk University)
Advances in omega-automata for Formal Methods
06/06/2018 Marie Van Den Bogaard (ULB)
Beyond admissibility: Dominance betweens chains of strategies
09/05/2018 Guillermo A. Pérez (ULB)
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
25/10/2017 Nathanaël Fijalkow (Alan Turing Institute of London & University of Warwick)
Parity games algorithms
25/10/2017 Shibashis Guha (ULB) Timed Network Games
18/10/2017 Léo Exibard (ULB)
Two-way Two-tape Automata
21/09/2017
14:00
Dimitri Watel (Télécome Sud-Paris)
Synthèse d'une molécule de coût minimum: complexité, approximabilité et complexité paramétrée.
06/09/2017 Marion Hallet (UMONS - ULB)
Dynamics and coalitions in sequential games

Older archives