Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

Formal Methods Seminar

5 novembre 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.

Détails

Date :
5 novembre 2024
Heure :
13:00 pm - 14:00 pm
Catégorie d’évènement:
Site :
https://fm.loria.fr/formal-methods-seminar/

Organisateur

Département 2

Lieu

A008