Cette rencontre est la quatrième occurrence des Journées du GT Scalp, la rencontre annuelle organisée par le Groupe de Travail Scalp (Structures formelles pour le Calcul et les Preuves) du groupement de recherche (GDR) Informatique Mathématique du CNRS.
   Le GT Scalp anime la communauté des chercheurs français travaillant sur les structures mathématiques permettant de modéliser preuves et programmes, avec une attention particulière (mais non exclusive) à l’interface entre les deux. Le spectre du groupe, qui s’insère dans un éventail de disciplines allant de la théorie de la démonstration à la théorie des langages de programmation, couvre notamment les systèmes de calcul d’origine logico-algébrique (lambda-calcul, réécriture de termes et de graphes, calculs de processus), les systèmes de déduction logique (classique, intuitionniste, linéaire), la théorie des types et les systèmes d’inférence, ainsi que les outils de preuve automatiques ou interactifs, avec des applications à l’analyse et la vérification de programmes (interprétation abstraite, logiques de programmes, automates d’arbres) et de leurs propriétés quantitatives (analyse de complexité, analyse de programmes probabilistes ou quantiques, complexité algorithmique implicite). Les méthodes employées sont à la fois de nature syntaxique (séquents, systèmes de types, machines abstraites, induction et coinduction, recherche de preuves) et sémantique (catégories, domaines, jeux, espaces vectoriels, réalisabilité).
   Les journées du GT ont pour objectif de permettre à la communauté de se rencontrer et de partager idées et résultats récents. Elles permettent en particulier aux jeunes chercheuses et jeunes chercheurs de recontrer, souvent pour la première fois, la communauté française autour de leur thématique de recherche.