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

25/10/2017 Nathanaël Fijalkow (Alan Turing Institute of London & University of Warwick) Parity games algorithms

Past Talks

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