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:

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


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