Université Grenoble-Alpe - Laboratoire Jean Kuntzmann (LJK) - Team CASC

Dominique.Duval@univ-grenoble-alpes.fr - Tel : +33 4 57 42 17 34

Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de St Martin d'Hères

Pinocchio by André Koehne, 2006, CC-BY-SA.

- Semantics of computational effects
*A lie-to-children may help bridging the gap between syntax and semantics in non-functional programming languages.* - Graph transformations
*Replace an occurrence of L by an occurrence of R in a graph G: what does this mean?* - DIAgrammatic LOGic
*A logical rule H/C is indeed a fraction, but its numerator is C and its denominator is H.*

- Dynamic evaluation
*Pretending that any natural number is a prime number, or more generally that any ring is a field, is a lie-to-children with surprisingly rich and various consequences.* - Exact computations on curves
*With "rational" Puiseux expansions, one gets more at a lower price.*

- Lecture notes (in French) Quelques diagrammes pour l'informatique Cours de l'Ecole Doctorale Maths-Info Grenoble (2005-06)
- Some PhD and Habilitation Theses
- IFIP WG1.3 Foundations of System Specification
- MAP - Mathematics, Algorithms, Proofs
- GDR IM - Informatique Mathématique - Groupe LAC - Logique, Algèbre et Calcul
- CaCoS Workshop 2012 "Categorical Computer Science" (Grenoble, 26 July 2012)
- IFIP WG1.3. Meeting (Aussois, 5-9 January 2011)
- Journée "Informatique Catégorique" "Categorical Computer Science" (Grenoble, 26 novembre 2009)
- Journée "Catégories pour l'Informatique" Groupes de travail GEOCAL et LAC du GDR IM (Villetaneuse 2008)
- Journées "Calculs Symboliques". Groupe de travail LAC du GDR ALP (Grenoble 2005)
- "Diagrammes"
is available on NumDam