- This event has passed.
Formal Methods Seminar
5 November 2024 @ 13:00 pm - 14:00 pm
The Formal Methods Seminar takes place every first Tuesday of the month at 13:00 in room A008.
The next seminar will take place on Thursday, November 5th.
Speaker: Julie Cailler (Veridis)
Title: SC-TPTP : étendre le format TPTP pour les preuves basées sur les séquents
