Verification & Proof Seminar

The SVP seminar takes place once every two months, alternatively at LRI and at LSV. The seminar is public and does not require registration.

No scheduled seminar.

Past Seminars

About LSV

Agenda

Export agenda in iCalendar format | Past seminars

No entries.

Past seminars