Emmanuel Beffara

36
Documents

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

Publications

Deposit thumbnail

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, In press, ⟨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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Booléens en programmation : une analyse à destination des enseignants

Sylvie Alayrangues , Olivier Baudon , Emmanuel Beffara , Ronan Charpentier , Sébastien Daniel et 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
Deposit thumbnail

Une analyse des exercices d’algorithmique et de programmation du brevet 2017

Sylvie Alayrangues , Emmanuel Beffara , Sébastien Daniel , Christophe Declercq , Anne Héam et al.

Repères IREM, 2019, 116, pp.47-81

Article dans une revue hal-02077738v2
Deposit thumbnail

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

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
Deposit thumbnail

Vers une cartographie des Situations d'Informatique débranchée

Julian Lecocq Mage , Simon Modeste , Emmanuel Beffara , Eric Duchene , Aline Parreau et 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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Communication dans un congrès hal-00151820v1

Concurrent nets: a study of prefixing in process calculi

Emmanuel Beffara , François Maurel 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

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
Deposit thumbnail

Logique, Réalisabilité et Concurrence

Emmanuel Beffara

Mathématiques [math]. Université Paris-Diderot - Paris VII, 2005. Français. ⟨NNT : ⟩

Thèse tel-00011205v1