Chargé de recherches CNRS, Loria, UMR 7503   Equipe TYPES, responsable Didier Galmiche

Informations générales

• Equipe TYPES, LORIA
  
• Logiciels
  • STRIP, preuves et contre-modèles pour la logique intuitionniste
  • BOOLIN, preuves et contre-modèles pour la logique de Gödel-Dummett

Domaines de recherche

• Logiques intermédiaires entre logique intuitionniste et logique classique.
• Logiques de ressources, logiques linéaires, logiques de séparation.
  
• Recherche de preuves et de contre-modèles, implantations efficaces

Publications

• Dominique Larchey-Wendling and Didier Galmiche
  Non-deterministic Phase Semantics and the Undecidability of Boolean BI
  ACM Transactions on Computational Logic (TOCL), Accepted for publication.
  
  
• Dominique Larchey-Wendling and Didier Galmiche
  The Undecidability of Boolean BI through Phase Semantics (full version)
  Logic In Computer Science, LICS 2010.
  
  
• Dominique Larchey-Wendling
  An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
  Mathematical Foundations of Programming Semantics, MFPS 2010 (slides).
  Electronic Notes in Theoretical Computer Science, vol 265, pp 369-387, 2010.
  
  
• Didier Galmiche, Dominique Larchey-Wendling and Joseph Vidal-Rosset
  Some Remarks on Relations between Proofs and Games
  In Festschrift for Gerhard Heinzmann, College Publications, 2010.
  
  
• Dominique Larchey-Wendling and Didier Galmiche
  Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
  Mathematical Structures in Computer Science, vol 19(3), pp 435-500, 2009
  
  
• Dominique Larchey-Wendling
  Graph based decision for Gödel-Dummett logics
  Journal of Automated Reasoning, vol 38, pp 201-225, 2007.
  
  
• Didier Galmiche and Dominique Larchey-Wendling
  Expressivity properties of Boolean BI through relational models
  Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006.
  
  
• Dominique Larchey-Wendling
  Bounding resource consumption with Gödel-Dummett logics
  12th International conference, LPAR 2005.
  
  
• Dominique Larchey-Wendling
  Gödel-Dummett counter-models through matrix computation
  Electronic Notes in Theoretical Computer Science, vol 125, num 3, 2005.
  
  
• Dominique Larchey-Wendling
  Counter-model search in Gödel-Dummett logics
  International Joint Conference on Automated Reasoning, IJCAR 2004.
  
  
• Dominique Larchey-Wendling
  Combining proof-search and counter-model construction for deciding Gödel-Dummett logic
  International Conference on Automated Deduction, CADE 2002.
  
  
• Dominique Larchey-Wendling, Daniel Mery and Didier Galmiche
  STRIP: Structural Sharing for Efficient Proof-search
  International Joint Conference on Automated Reasoning, IJCAR 2001.
  
  
• Didier Galmiche and Dominique Larchey-Wendling
  Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic
  Electronic Notes in Theoretical Computer Science, vol 35, 2000.
  
  
• Didier Galmiche and Dominique Larchey-Wendling
  Structural sharing and efficient proof-search in propositional intuitionistic logic
  Asian Computing Science Conference, ASIAN'99.
  
  
• Didier Galmiche and Dominique Larchey-Wendling
  Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets (extended abstract)
  Electronic Notes in Theoretical Computer Science, vol 17, 1998.
  
  
• Didier Galmiche and Dominique Larchey-Wendling
  Formulae-as-Resources Management for an Intuitionistic Theorem Prover
  5th Workshop on Logic, Language, Information and Computation, WoLLIC'98.
  
  

Exposés à des Workshops

• Dominique Larchey-Wendling
  Phase Semantics and the Undecidability of Boolean BI (slides)
  Geocal-Lac, Nancy, Mai 2011.
  
  
• Dominique Larchey-Wendling
  Labelled Tableaux for Proofs and Models in BI logics (slides)
  Automated Deduction Day, Nancy, 2009.
  
  
• Dominique Larchey-Wendling
  Kripke Models of Boolean BI and Invertible resources (abstract, slides)
  Domains IX Workshop 08, Brighton, GB, 22-24 septembre 2008.
  
  
• Didier Galmiche, Dominique Larchey and Yakoub Salhi
  Hypersequents and Countermodels in Gödel-Dummett Logics
  CADE'07 - Workshop on Disproving: non-theorems, non-validity, non-provability, Brême, Allemagne, 16 juillet 2007.
  
  
• Dominique Larchey-Wendling
  Relational semantics and finite models of separation logics
  CMF'2007 - Modèles de calcul, Modèles finis et Complexité, Nancy, France, 21-22 mai 2007.
  
  
• Dominique Larchey-Wendling
  Resources, process calculi and Gödel logic
  Workshop on Logic Nancy-Saarbrücken - Proofs and Programs, Nancy, France, 13-14 octobre 2005.
  
  
• Dominique Larchey-Wendling
  Gödel-Dummett counter-models through matrix computation
  IJCAR 2004 - Workshop on Disproving: non-theorems, non-validity, non-provability Cork, Irlande, 5 juillet 2004.
  
  
• Dominique Larchey-Wendling
  Combining proof search and linear counter-model construction
  First APPSEM-II Workshop, Nottingham, Royaume Uni, 26-28 mars 2003.
  
  
• Dominique Larchey-Wendling
  Refutations as finite resource counter-models
  Workshop on Semantic Foundations of Proof-search, Dagstuhl, Wadern, Allemagne, 1-6 avril 2001.
  
  
• Dominique Larchey-Wendling and Didier Galmiche
  From ordered monoids to quantales and Petri nets: completeness results revisited in Intuitionistic Linear Logic
  Workshop on Domains IV, Rolandseck, Allemagne, 2-4 octobre 1998.
  
  
• Dominique Larchey-Wendling and Didier Galmiche
  Provability in Intuitionistic Linear Logic from a new interpretation on Petri nets
  CADE-15 Workshop on Proof Search in Type-Theoretic Languages, Lindau, Allemagne, 5 juillet 1998.
  
  

Rapports techniques

• Dominique Larchey-Wendling
  Preuves, réfutations et contre-modèles dans des logiques intuitionnistes
  Thèse de l'université Henri Poincaré, Nancy I, 2000.
  
  
• Dominique Larchey-Wendling and Didier Galmiche
  Resource models and proof-search in Intuitionistic Linear Logic
  Université Henri Poincaré, 2000.
  
  

Adresse de travail

Dominique Larchey-Wendling
CNRS, Bâtiment LORIA, BP 239
54506 Vandoeuvre-lès-Nancy
France

email : larchey@loria.fr
Téléphone: +33 (0) 3 54 95 85 14
Fax: +33 (0) 3 83 41 30 79