Menu
- L’Institut
- Annuaire
-
Équipes de recherche
- Analyse Appliquée (AA)
- Analyse, Géométrie, Topologie (AGT)
- Arithmétique et Théorie de l’Information (ATI)
- Géométrie, Dynamique, Arithmétique, Combinatoire et leurs interactions (GDAC)
- Logique de la Programmation (LDP)
- Mathématiques et Algorithmique pour la Biologie des Systèmes (BMA-MABioS)
- Mathématiques, Évolution, Biologie (BMA-MEB)
- Probabilités (PROBA)
- Représentations des Groupes Réductifs (RGR)
- Signal et Image (SI)
- Statistiques (STA)
-
Séminaires
-
Séminaires et Groupes de travail hebdomadaires
- Analyse Appliquée (AA)
- Analyse et Géométrie
- Arithmétique et Théorie de l’Information (ATI)
- Dynamique, Arithmétique, Combinatoire (Ernest)
- Géométrie, Dynamique et Topologie (GDT)
- Géométrie Complexe
- Logique et Interactions
- Mathématiques, Évolution, Biologie (MEB)
- Modèles Probabilistes pour l’Évolution (MPE)
- Mathématiques et Algorithmique pour la Biologie des Systèmes (MABioS)
- Probabilités et Statistique
- Processus Déterminantaux (ERC IChaos)
- Représentations des Groupes Réductifs (RGR)
- Signal et Apprentissage
- Singularités
- Statistiques
- Teich
- TAPAS
- Colloquium de Mathématiques de Marseille
- Kécékssa
-
Séminaires et Groupes de travail intermittents
- Autour de 3-Variétés
- Calcul des Variations & EDP
- CHoCoLa : Curry-Howard, Calcul et Logique
- Contrôle et Problèmes Inverses
- Espaces de modules de surfaces K3
- Guide d’ondes milieux stratifiés et problèmes inverses (GOMS)
- HYPERBO
- Interactions EDP-Proba
- Maths Bio
- Math-Info pour la Théorie de l’Information (MITI)
- Métriques à courbure spéciale (géom complexe)
- Pythéas Fogg
- Séminaire des Doctorants
- Stratification arc-wise analytic
- Théorie effective des invariants (TEDI)
-
Séminaires et Groupes de travail hebdomadaires
- Colloques
- Publications
- Contrats de recherche / Projets
- Relations internationales
- Enseignement-Formation
- Bibliothèques
- Ressources / Procédures
- Offres d’emploi
- Appels à projets
- Liens
- Trombinoscope
- Intranet (AIGLe)
-
-
Rechercher
Accueil >
Syntaxe et sémantique des diagrammes de preuve
Mardi 23 mai 2017 11:00-12:00 -
Matteo ACCLAVIO - LMNO, Caen
Résumé : TBA
- 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
Pour en savoir plus sur cet événement, consultez l'article Séminaire Logique et Interactions