LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

Time-Bounded Verification

Visit website for this news | Export event in iCalendar format

 Joel Ouaknine
Date
Tuesday, October 27 2009 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Joel Ouaknine (University of Oxford)

I will discuss some recent results on verification problems for timed automata over time intervals of fixed, bounded length.


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jan 29
Tue, Feb 5
Tue, Feb 19

Past seminars