| Séminaires | Logique et Interactions CHoCoLa : Curry-Howard, Calcul et Logique |
|---|
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, Évolution, Biologie (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)
- 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
- Guide d’ondes milieux stratifiés et problèmes inverses (GOMS)
- HYPERBO
- Interactions EDP-Proba
- Math-Cancer
- 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
- 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)
-
-