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 debraj chakraborty ulb ac be or subscribe here.

Upcoming Talks

Note: Zoom links for upcoming talks will be sent via mail

15/09/2021
10:00
Anirban Majumdar (LSV & INRIA Rennes)
Parameterized Concurrent Games
22/09/2021
10:00
Sayan Mukherjee (Chennai Mathematical Institute)
Reachability in Timed Automata with Diagonal Constraints and Updates

Past Talks

07/07/2021
11:00
Chana Weil-Kennedy (TU Munich)
Verification of Immediate Observation Petri Nets
26/05/2021
11:00
Léo Henry (IRISA)
Active learning of timed automata with unobservable resets
28/04/2021
11:00
Edwin Hamel (IRIF)
An algebraic theory for state complexity
24/03/2021
11:00
Clément Tamines (University of Mons)
Stackelberg-Pareto Synthesis
13/01/2021
&
20/01/2021
11:00
Léonard Brice (ULB)
Subgame-perfect equilibria in mean-payoff games
04/01/2021
14:00
Sarah Winter (ULB)
Synthesizing computable functions from synchronous specifications
16/12/2020
11:00
Satya Prakash Nayak (Chennai Mathematical Institute)
Robust Linear Temporal Logics
09/12/2020
11:00
Debraj Chakraborty (ULB)
Monte Carlo Tree Search guided by Symbolic Advice for MDPs
02/12/2020
11:00
Raphaël Berthon (ULB & University of Antwerp)
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
30/11/2020
14:00
Léo Exibard (ULB & Aix-Marseille Université)
Computability and Continuity of Data Word Functions Defined by Transducers
18/11/2020
11:00
Ayrat Khalimov (ULB)
Church Synthesis on Register Automata over Infinite Ordered Domains

Older archives