Framaforms

Créez rapidement et simplement des formulaires en ligne

Inscription aux JFLA'2021 en ligne

Ces journées 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.

La situation sanitaire nous a contraint à organiser les JFLA'2021 en ligne. En conséquence, l'inscription sera gratuite cette année.

 

 
1 Début 2 Terminé

Contacter l'auteur⋅rice de ce formulaire

Pour contacter l'auteur⋅rice de ce formulaire, cliquez ici


Ne communiquez aucun mot de passe via Framaforms.