Cet évènement est passé

GT Structures Formelles pour le Calcul et les Preuves (SCALP) 2021

Name: GT Structures Formelles pour le Calcul et les Preuves (SCALP) 2021
Start: 2021-11-03T00:00:00+01:00
End: 2021-11-05T23:59:59+01:00

3 novembre 2021 - 5 novembre 2021

Les prochaines journées du groupe de travail SCALP (Structures Formelles pour le Calcul et les Preuves) auront lieu du 3 au 5 novembre 2021, à l’IUT de Fontainebleau (en modalité hybride).

Détails

Début :: 3 novembre 2021
Fin :: 5 novembre 2021
Catégories d’Évènement:: GdR Informatique Mathématique, Journées Groupe de travail, Soutien
Site :: https://www.irif.fr/gt-scalp/journees-2021