Conférences - Théorie de l'information, fondations de l'informatique - France

Sélecionner un pays
1
RP'20 — 14th International Conference on Reachability Problems
19 oct 2020 - 21 oct 2021 • Paris, France
Organisateur:
The institut de recherche en informatique fondamentale at Université de Paris organises the 14th International Conference on Reachability Problems (RP'20).
Sujets:
● Algebraic structures ● Automata theory and formal languages ● Computational game theory ● Concurrency and distributed computation ● Decision procedures in computational models ● Hybrid dynamical systems ● Logic and model checking ● Verification of finite and infinite-state systems
Identifiant de l'évènement:
1366215
Sujets apparentés:
2
CIRM – Research School — Ecole de Printemps d’Informatique Théorique (EPIT).
24 mai 2021 - 28 mai 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312317
3
Arithmétique, géométrie, cryptographie et théorie des codes
31 mai 2021 - 04 jui 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312349
4
9th International Conference on Relational and Algebraic Methods in Computer Science
01 nov 2021 - 05 nov 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312440
Sujets apparentés:
5
Nouvelles directions en calculabilité — New Directions in Computability Theory
07 mar 2022 - 11 mar 2022 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Sujets:
CONFERENCE
Identifiant de l'évènement:
1369334
6
Ecole de printemps d'informatique théorique : Apprentissage automatique — Theoretical Computer Science Spring School: Machine Learning
23 mai 2022 - 27 mai 2022 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Sujets:
RESEARCH SCHOOL
Identifiant de l'évènement:
1369413


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Dernière mise à jour: 30 Juillet 2020