Loading Events

« All Events

  • 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

Visit the Formal Methods Seminar website.

Details

Date:
5 November 2024
Time:
13:00 pm - 14:00 pm
Event Category:
Website:
https://fm.loria.fr/formal-methods-seminar/

Organizer

Département 2

Venue

A008