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 Laurent Doyen and Stefan Haar.

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

Past Seminars

From Philosophical to Industrial Logics

Visit website for this news | Export event in iCalendar format

Thursday, November 06 2008 at 11:00AM
Amphithéâtre Marie Curie (bâtiment d'Alembert)
Moshe Vardi (Rice University, Houston, Texas)

One of the surprising developments in the area of program verification is how several ideas introduced by logicians in the first part of the 20th century ended up yielding at the start of the 21st century industry-standard property-specification languages called PSL and SVA. This development was enabled by the equally unlikely transformation of the mathematical machinery of automata on infinite words, introduced in the early 1960s for second-order arithmetics, into effective algorithms for industrial model-checking tools. This talk attempts to trace the tangled threads of this development.

About LSV


Export agenda in iCalendar format | Past seminars

Tue, Oct 28
Tue, Nov 4
Tue, Nov 18

Past seminars