ANR FANs : fondations des réseaux d'automates
- Projet ANR-18-CE40-0002-01
- Janvier 2019 - décembre 2022
- membres
GDR IM : groupement de recherche en informatique mathématique
- L'informatique mathématique étudie et analyse de nouvelles problématiques issues des grandes questions informatiques, qui ont toutes un point commun : elles sont mathématisables
- Le GDR IM est composé de groupes de travail.
- Journées nationales
- ÉJCIM : École Jeunes chercheurs en Informatique Mathématique
SIF : Société informatique de France
SMF : Société mathématique de France
CiE : Computability in Europe
- CiE is a European network of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world
- Conférence annuelle CiE
DMANET : Discrete Mathematics and Algorithms
- An electronic news and research network for discrete mathematics and algorithms with about 1900 members worldwide
- liste de diffusion
EPIT : École de printemps d'informatique théorique
- Initiée en 1973 par Maurice Nivat et ses collaborateurs, l’Ecole de Printemps d’Informatique Théorique (EPIT) organise chaque année une école intensive dans un domaine de l’informatique théorique. Le public visé est composé de doctorants et de chercheurs confirmés qui souhaitent se spécialiser dans le domaine considéré.
- Historique
- Fonctionnement