Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Syntaxe et sémantique des diagrammes de preuve

Mardi 23 mai 11:00-12:00 - Matteo ACCLAVIO - LMNO, Caen

Syntaxe et sémantique des diagrammes de preuve

Résumé : TBA

JPEG - 6.8 ko
Matteo ACCLAVIO

Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
Site Sud
Campus de Luminy, Case 907
13288 MARSEILLE Cedex 9

Exporter cet événement

Pour en savoir plus sur cet événement, consultez l'article Séminaire Logique et Interactions