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