Logique et intelligibilité des processus computationnels

Résumé du projet

• Type de projet : projet franco-brésilien de recherche CAPES-COFECUB (Ministère brésilien de l’enseignement et de la recherche & Comité Français d’Évaluation de la Coopération Universitaire et Scientifique avec le Brésil)
• Titre du projet : "Logique et intelligibilité des processus computationnels"
• Coordinateurs : Jean-Baptiste JOINET (IRPhiL, Lyon 3) et Luiz Carlos PEREIRA (UERJ, Brésil)
• Durée : 2024-2027
• Membres locaux du programme : Jean-Baptiste Joinet, Hugo Cadière