JFLA 2020

La mission du Congrès

Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques.

CONGRÈS

31es Journées Francophones des Langages Applicatifs

CLIENT

CEA

PRESTATIONS

Organisation, gestion, secrétariat des participants, inscriptions