CFV Information

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

  • Location: The seminars take place at the campus "Plaine" of the Université Libre de BruxellesClick 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:
    14h00 - 15h30 Invited lecture
    15h30 - 16h00 Coffee break
    16h00 - 16h30 Lecture by a CFV partner
    16h30 Discussion
  • 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 Guillermo Pérez (gperezme [at] Informations concerning the CFV seminars will be sent to the originating adresses of the requests.
  • Calendar: a public online calendar (ICS) of the CFV events is available at