Aller au contenu

| | |

Vous êtes ici : UFR des sciencesFR

Journées CLA'19

Le but des journées CLA est de fournir un forum aux chercheurs et chercheuses étudiant les aspects combinatoires et quantitatifs de systèmes logiques et de leurs applications en Informatique.

du 1 juillet 2019 au 2 juillet 2019

UFR des Sciences, salle Archimède
Le but des journées CLA est de fournir un forum aux chercheurs étudiant les aspects combinatoires et quantitatifs de systèmes logiques et de leurs applications en Informatique, notamment :
  • la combinatoire du lambda-calcul et des formalismes voisins ;
  • les aspects quantitatifs de l'évaluation et de la normalisation de programmes
  • l'énumération asymptotique en logique quantitative
  • les propriétés statistiques des formules et termes logiques et des programmes 
  • la génération aléatoire de structures combinatoires de grande taille en logique quantitative
  • la prise en compte de l'aléatoire en test logiciel et les méthodes de génération de contre-exemples.

Les journées comporteront des exposés invités par Samuele Giraudo (LIGM, Université de Marne-la-Vallée) et Clemens Grabmayer (Gran Sasso Science Institute, L'Aquila, Italie), ainsi que des exposés proposés par les participants et sélectionnés par le comité scientifique. L'inscription est obligatoire mais sans frais (voir conditions de soumission et d'inscription sur le site web des journées).