Emmanuel Beffara

35
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

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-04485409 v1
Image document

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-04482116 v2
Image document

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-04083002 v2

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-04227823 v1
Image document

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-04096240 v1
Image document

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-04810138 v1
Image document

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-02535820 v1
Image document

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-00951976 v4
Image document

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-00586459 v2

An algebraic process calculus

Emmanuel Beffara
Logic in Computer Science, Jun 2008, Pittsburgh, United States. pp.130--141
Communication dans un congrès hal-00397531 v1

A concurrent model for linear logic

Emmanuel Beffara
Communication dans un congrès hal-00151820 v1

Concurrent nets: a study of prefixing in process calculi

Emmanuel Beffara , François Maurel
Communication dans un congrès hal-00009192 v1

Disjunctive normal forms and local exceptions

Emmanuel Beffara , Vincent Danos
2003, pp.203-211, ⟨10.1145/944705.944724⟩
Communication dans un congrès hal-00009191 v1

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-00100534 v1

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-00100535 v1

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-03652486 v1
Image document

Logique, Réalisabilité et Concurrence

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