Seminars for 2010-2011

The "Centre Fédéré en Vérification" (CFV) oganizes monthly seminars on computer-aided verification.

Program: Click here to have a look at the program. You can also see the list of the past seminars.
Location: The seminars take place at the campus "Plaine" of the Université Libre de Bruxelles. Click here to know how to reach the university (Campus de la plaine). Please refer to the individual seminar announcements for the exact location (building and classroom). It changes from time to time...

Time schedule: The usual time schedule for our seminars is as follows:

Coordinator: The coordinator of the CFV seminars is Véronique Bruyère
Registration: People interested by the seminars and other CFV activities are kindly invited to register, simply by sending a mail to Nicolas Maquet (nmaquet [at] ulb.ac.be). Informations concerning the CFV seminars will be sent to the originating adresses of the requests.

Upcoming Seminars

Speaker: Giorgio Delzanno, DISI, Università di Genova
Abstract: In the talk I will present a series of abstractions that can be used to obtain approximated verification algorithms for parameterized systems with global conditions and different types of topology (ordered/unordered arrays, trees, graphs). The verification algorithms perform a symbolic exploration of a possibly infinite-state space and exploit the theory of well-quasi orderings for ensuring the theoretical termination of the analysis. The presentation is based on joint work with Parosh Abdulla and Ahmed Rezine.

Follow these links to access the lists of seminars for:

Last update: Lun 1er février 2010