Le projet "TACL" porte sur l’organisation d’une conférence internationale et d’une école d’été, à Nice et Porquerolles en juin 2019. Les conférences "TACL" font partie d’un vaste programme s’attachant à favoriser l’émergence d’une nouvelle communauté de recherche, mondiale et pluridisciplinaire, dans des thématiques à l’interface entre les mathématiques, l’informatique et la logique.
TACL, une conférence dédiée à l'émergence d'une nouvelle communauté
Le projet subventionné consiste en la tenue d’une grande conférence internationale à Nice du 17 au 21 Juin 2019, et d’une école d’été à Porquerolles du 10 au 15 Juin 2019, focalisées sur des thématiques de recherche à l’interface entre les mathématiques et l’informatique en lien avec la logique.
Les conférences "TACL" visent à opérer un rapprochement scientifique et culturel des mathématiques et de l’informatique fondamentale.
Aussi, la première réunion de "TACL" s'est tenue à Tbilissi, sous le nom de Conférence internationale sur les méthodes algébriques et topologiques en logique non classique. De nombreuses villes ont par la suite accueillis cette conférence comme Barcelone ou Oxford.
En 2007, la communauté TACL s'est élargie comprenant des chercheurs de nombreux domaines différents, notamment les treillis et la dualité de pierre, la logique modale et intuitionniste, l'algèbre universelle et les méthodes catégorielles en logique et en informatique.
À la demande des participants de la série TACL, un cours d'été associé est venu compléter ces manifestations depuis 2013. L'objectif de l'école est de préparer et d'initier les jeunes chercheurs et les nouveaux venus à la recherche interdisciplinaire présentée au TACL et d'encourager et de renforcer le sens de la communauté parmi ses jeunes membres. Le
programme s'articule généralement autour de 4 cours dont au moins un de chaque catégorie (topologie, algèbre et logique appliquée).
Les intervenants sont choisis pour leur leadership dans la recherche mais aussi pour leur excellence dans la communication. Un effort est fait pour disposer d'un financement adéquat afin que les participants potentiels ayant peu de moyens financiers puissent participer.
Mobiliser la communauté française
Le domaine est difficilement accessible aux jeunes chercheurs et aux chercheurs de domaines connexes de par sa nature très interdisciplinaire.
La communauté française d’informaticiens et de mathématiciens ayant des liens avec les sujets de TACL est par ailleurs potentiellement très vaste mais reste, jusqu’ici, peu impliquée dans le groupe.
L’école et la conférence de 2019 sont donc une opportunité pour ouvrir ce domaine aux chercheurs français de domaines limitrophes et faire d’Université Côte Azur un acteur clé du projet TACL et de l’émergence d’une communauté de recherche interdisciplinaire.
Rapprocher divers domaines de l’informatique fondamentale
De façon concrète, de nombreuses branches de l’informatique (sémantique, vérification, algorithmique, complexité et intelligence artificielle) et des mathématiques (logiques propositionnelles, du premier ordre et catégoriques) ont recours à la logique en utilisant et développant des outils similaires provenant de l'algèbre universelle, la topologie générale et la théorie des catégories.
Le programme a donc parmi ses objectifs de rapprocher ces divers domaines de l’informatique fondamentale par le biais d’outils mathématiques communs : TACL rassemble ainsi différentes disciplines dans le but d'explorer, de façon innovante, des problèmes en logique.
Le projet s’inscrit par ailleurs dans des axes stratégiques généraux et importants, comme le développement de l’informatique fondamentale, de la combinatoire et de la complexité.
| L’Académie des Systèmes Complexes, en partenariat avec l’Académie Réseaux, Information, Société Numérique, finance partiellement la conférence et l’école d’été mises en œuvre dans le cadre de ce vaste projet de recherche. |
Pour en savoir davantage sur le groupe TACL et la conférence de juin 2019, cliquez ici.
Les principales avancées
- Les conférences TACL se poursuivent. La conférence TACL 2021 a été annoncée, elle se tiendra à Coimbra, au Portugal. Pour plus d'informations sur les événements affiliés à TACL suivez le lien suivant : https://math.unice.fr/tacl/2019/