Emmanuel Beffara
Présentation
Je suis maître de conférences à l'Université Grenoble Alpes et au Laboratoire d'informatique de Grenoble. Je suis membre de l'équipe MeTAH du LIG. Mes centres d'intérêt scientifiques incluent: Ç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. À venir…Recherche
Projets
Enseignement
Autres
Publications
Publications
Modélisation des connaissances mobilisées dans une situation de généralisation de motifColloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.159-159 |
|
|
|
Vers une cartographie des Situations d'Informatique débranchéeColloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.99-107 |
|
|
Concurrent Realizability on Conjunctive StructuresFSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy |
Underlying theories of proof assistants and potential impact on the teaching and learning of proof12th International Workshop on Theorem proving components for Educational software, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2023, Rome, Italy |
|
|
|
Instrumentation de l'association de registres sémiotiques dans un assistant de preuveEIAH2023 - 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 |
|
|
Une situation de recherche pour la classe : Pac-Man contre les fantômesCORFEM 2021, Jun 2021, Distanciel, France |
|
|
Les abstractions informatiques peuvent-elles concrétiser les mathématiques?Séminaire de didactique des mathématiques 2018, Nov 2018, Paris, France |
|
|
A proof-theoretic view on scheduling in concurrencyClassical Logic and Computation 2014, Jul 2014, Wien, Austria. pp.78-92, ⟨10.4204/EPTCS.164.6⟩ |
|
|
Proofs as Executions7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.280-294, ⟨10.1007/978-3-642-33475-7_20⟩ |
An algebraic process calculusLogic in Computer Science, Jun 2008, Pittsburgh, United States. pp.130--141 |
|
|
|
A concurrent model for linear logic2006, pp.147-168, ⟨10.1016/j.entcs.2005.11.055⟩ |
|
|
Concurrent nets: a study of prefixing in process calculi2004, pp.67-86, ⟨10.1016/j.entcs.2004.11.029⟩ |
Disjunctive normal forms and local exceptions2003, pp.203-211, ⟨10.1145/944705.944724⟩ |
|
Verification of Timed Automata Using Rewrite Rules and StrategiesERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p |
|
Verification of Timed Automata Using Rewrite Rules and StrategiesThe Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p |
Situations de recherche pour la classe, pour le collège et le lycée... et au-delàIREM de Grenoble. , 2017, 2-9563381-0-2 |
Programmes, preuves et fonctions : le ménage à trois de Curry-HowardPhilippe Langlois. Informatique mathématique : Une photographie en 2013, Presses Universitaires de Perpignan, 2013, 978-2-35412-183-9 |
|
|
Concurrent Realizability on Conjunctive Structures2022 |
|
|
Unifying type systems for mobile processes2015 |
|
|
Concurrent processes as wireless proof nets2010 |
|
|
Quantitative testing semantics for non-interleaving2009 |
|
|
Realizability with constants2003 |
|
|
Une analyse des exercices d'algorithmique et de programmation des DNBCommission inter-IREM informatique. 2023 |
|
|
Algorithmique et programmation au cycle 4CII Lycée. 2017 |
|
|
Functions as proofs as processes2007 |
|
|
Logique, Réalisabilité et ConcurrenceMathématiques [math]. Université Paris-Diderot - Paris VII, 2005. Français. ⟨NNT : ⟩ |
|
|
Introduction to linear logicMaster. Italy. 2013 |