Verification Seminar

The seminar of the Formal Methods and Verification group at the Université Libre de Bruxelles usually takes place on Wednesday from 10:00 to 11: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 nicolasmazzocchiulbacbe.

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

Upcoming Talks

21/09/2017 Dimitri Watel (Télécome Sud-Paris) Synthèse d'une molécule de coût minimum: complexité, approximabilité et complexité paramétrée.

Past Talks

06/09/2017 Marion Hallet (UMONS - ULB) Dynamics and coalitions in sequential games

Older archives