Emmanuel Beffara

Présentation

Je suis maître de conférences à l'Université Grenoble Alpes et au Laboratoire d'informatique de Grenoble.

Recherche

Je suis membre de l'équipe MeTAH du LIG. Mes centres d'intérêt scientifiques incluent:

la didactique de l’informatique et de la logique

la correspondance preuves/programmes et ses prolongements et applications

Projets

ANR

Asmodée, Analyse et conception de situations de médiation en informatique débranchée (2022–2024)

Pégase

, Pôle pilote de formation des enseignants et de recherche pour l’éducation (2021–2031)

STIC-Amsud

APCoRe, An algebrization program for concurrent realizability (2022–2023)

Enseignement

Ça se passe dans le cadre de l'Inspé, principalement en master MEEF (métiers de l'enseignement de l'éducation et de la formation) second degré, dans les parcours Numérique et sciences informatiques et Mathématiques.

Autres

À venir…

Publications

Article dans une revue (9)

Proof assistants for undergraduate mathematics education: elements of an a priori analysis Evmorfia-Iro Bartzia,Emmanuel Beffara,Antoine Meyer,Julien Narboux International Journal of Mathematical Education in Science and Technology, 2026, pp.1-44. ⟨10.1080/0020739X.2026.2632264⟩ Article dans une revue hal-04087080v1
Modélisation praxéologique de connaissances algorithmiques à partir d’un objet-frontière avec l’algèbre: Le pattern Gaëlle Walgenwitz,Emmanuel Beffara,Marie-Caroline Croset Canadian Journal of Science, Mathematics and Technology Education, 2025, ⟨10.1007/s42330-025-00372-2⟩ Article dans une revue hal-05153586v1
Un jeu de plateau pour comprendre la dualité en logique Emmanuel Beffara,Martin Bodin Adjectif : analyses et recherches sur les TICE, 2024, Numéro thématique 4 Article dans une revue hal-04748800v1
L’algorithme : pourquoi et comment le définir pour l'enseigner Emmanuel Beffara epiDEMES, 2024, 3 | 2024, ⟨10.46298/epidemes-11418⟩ Article dans une revue hal-04112182v3
Booléens en programmation : une analyse à destination des enseignants Sylvie Alayrangues,Olivier Baudon,Emmanuel Beffara,Ronan Charpentier,Sébastien Danielet al. Recherches et recherches-actions en didactique de l'informatique, 2024, 1, pp.1-33 Article dans une revue hal-03812698v2
Jeux combinatoires et pensée informatique Emmanuel Beffara Tangente Éducation, 2020 Article dans une revue hal-03291745v1
Une analyse des exercices d’algorithmique et de programmation du brevet 2017 Sylvie Alayrangues,Emmanuel Beffara,Sébastien Daniel,Christophe Declercq,Anne Héamet al. Repères IREM, 2019, 116, pp.47-81 Article dans une revue hal-02077738v2
Order algebras: a quantitative model of interaction Emmanuel Beffara Mathematical Structures in Computer Science, 2018, ⟨10.1017/S0960129516000360⟩ Article dans une revue hal-00429610v3
Concurrent nets: a study of prefixing in process calculi Emmanuel Beffara,François Maurel Theoretical Computer Science, 2006, 356 (3), pp.356-373. ⟨10.1016/j.tcs.2006.02.009⟩ Article dans une revue istex hal-00151817v1

Communication dans un congrès (15)

Modélisation des connaissances mobilisées dans une situation de généralisation de motif Gaëlle Walgenwitz,Marie-Caroline Croset,Emmanuel Beffara Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.159-159 Communication dans un congrès hal-04485409v1
Vers une cartographie des Situations d'Informatique débranchée Julian Lecocq Mage,Simon Modeste,Emmanuel Beffara,Eric Duchene,Aline Parreauet al. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.99-107 Communication dans un congrès hal-04482116v2
Underlying theories of proof assistants and potential impact on the teaching and learning of proof Evmorfia-Iro Bartzia,Emmanuel Beffara,Antoine Meyer,Julien Narboux 12th International Workshop on Theorem proving components for Educational software, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2023, Rome, Italy Communication dans un congrès hal-04227823v1
Concurrent Realizability on Conjunctive Structures Emmanuel Beffara,Félix Castro,Mauricio Guillermo,Étienne Miquey FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy Communication dans un congrès hal-04083002v2
Instrumentation de l'association de registres sémiotiques dans un assistant de preuve Emmanuel Beffara,Martin Bodin,Nadine Mandran,Rémi Molinier EIAH2023 - 11ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Association des Technologies de l’Information pour l’Éducation et la Formation, Jun 2023, Brest, France. pp.1-5 Communication dans un congrès hal-04096240v1
Une situation de recherche pour la classe : Pac-Man contre les fantômes Rémi Molinier,Emmanuel Beffara,Camille Antoine,Iulia Tunaru,Florence Paulin CORFEM 2021, Jun 2021, Distanciel, France Communication dans un congrès hal-04810138v1
Les abstractions informatiques peuvent-elles concrétiser les mathématiques? Emmanuel Beffara Séminaire de didactique des mathématiques 2018, Nov 2018, Paris, France Communication dans un congrès hal-02535820v1
A proof-theoretic view on scheduling in concurrency Emmanuel Beffara Classical Logic and Computation 2014, Jul 2014, Wien, Austria. pp.78-92, ⟨10.4204/EPTCS.164.6⟩ Communication dans un congrès hal-00951976v4
Proofs as Executions Emmanuel Beffara,Virgile Mogbil 7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.280-294, ⟨10.1007/978-3-642-33475-7_20⟩ Communication dans un congrès hal-00586459v2
An algebraic process calculus Emmanuel Beffara Logic in Computer Science, Jun 2008, Pittsburgh, United States. pp.130--141 Communication dans un congrès hal-00397531v1
A concurrent model for linear logic Emmanuel Beffara 2006, pp.147-168, ⟨10.1016/j.entcs.2005.11.055⟩ Communication dans un congrès hal-00151820v1
Concurrent nets: a study of prefixing in process calculi Emmanuel Beffara,François Maurel 2004, pp.67-86, ⟨10.1016/j.entcs.2004.11.029⟩ Communication dans un congrès hal-00009192v1
Disjunctive normal forms and local exceptions Emmanuel Beffara,Vincent Danos 2003, pp.203-211, ⟨10.1145/944705.944724⟩ Communication dans un congrès hal-00009191v1
Verification of Timed Automata Using Rewrite Rules and Strategies Emmanuel Beffara,Olivier Bournez,Hassen Kacem,Claude Kirchner ERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p Communication dans un congrès inria-00100534v1
Verification of Timed Automata Using Rewrite Rules and Strategies Emmanuel Beffara,Olivier Bournez,Hassen Kacem,Claude Kirchner The Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p Communication dans un congrès inria-00100535v1

Ouvrages (1)

Situations de recherche pour la classe, pour le collège et le lycée... et au-delà Denise Grenier,Roland Bacher,Hervé Barbe,Emmanuel Beffara,Yvan Bicaïset al. IREM de Grenoble. , 2017, 2-9563381-0-2 Ouvrages hal-03590790v1

Chapitre d'ouvrage (1)

Programmes, preuves et fonctions : le ménage à trois de Curry-Howard Emmanuel Beffara,Lionel Vaux Philippe Langlois. Informatique mathématique : Une photographie en 2013, Presses Universitaires de Perpignan, 2013, 978-2-35412-183-9 Chapitre d'ouvrage hal-03652486v1

Pré-publication, Document de travail (5)

Concurrent Realizability on Conjunctive Structures Emmanuel Beffara,Félix Castro,Mauricio Guillermo 2022 Pré-publication, Document de travail hal-03710542v1
Unifying type systems for mobile processes Emmanuel Beffara 2015 Pré-publication, Document de travail hal-01144215v1
Concurrent processes as wireless proof nets Emmanuel Beffara,Virgile Mogbil 2010 Pré-publication, Document de travail hal-00462484v1
Quantitative testing semantics for non-interleaving Emmanuel Beffara 2009 Pré-publication, Document de travail hal-00397551v1
Realizability with constants Emmanuel Beffara 2003 Pré-publication, Document de travail hal-00003724v1

Rapport (3)

Une analyse des exercices d'algorithmique et de programmation des DNB Sylvie Alayrangues,Olivier Baudon,Sylvain Beauvoir,Emmanuel Beffara,Sébastien Danielet al. Commission inter-IREM informatique. 2023 Rapport hal-03996891v2
Algorithmique et programmation au cycle 4 Emmanuel Beffara,Malika More,Cécile Prouteau,Dominique Baroux-Raymond,Guillaume François-Lerouxet al. CII Lycée. 2017 Rapport (rapport d’expertise collective) hal-03961063v1
Functions as proofs as processes Emmanuel Beffara 2007 Rapport hal-00609866v1

Thèse (1)

Logique, Réalisabilité et Concurrence Emmanuel Beffara Mathématiques [math]. Université Paris-Diderot - Paris VII, 2005. Français. ⟨NNT : ⟩ Thèse tel-00011205v1

Cours (1)

Introduction to linear logic Emmanuel Beffara Master. Italy. 2013 Cours cel-01144229v1