Dominique Duval home page

LJK - 51 rue des Mathématiques
B. P. 53 - 38041 Grenoble Cedex 9 - France
Tel. +33 4 76 51 46 05 - Fax +33 4 76 63 12 63
Dominique.Duval@imag.fr

Research Topics

Semantics of computational effects
DIAgrammatic LOGic
Graph transformations
Dynamic evaluation
Exact computations on curves

Research papers

Talks

Teaching

Links

Some PhD and Habilitation Theses
"Diagrammes" is available on NumDam
6th ACCAT Workshop 2011 "Applied and Computational Category Theory"
IFIP WG1.3. Meeting (Aussois, 5-9 January 2011)
Journée "Informatique Catégorique" (Grenoble, 26 novembre 2009)
Projet ANR Choco
4th ACCAT Workshop 2009 "Applied and Computational Category Theory"
Journée "Catégories pour l'Informatique" Groupes de travail GEOCAL et LAC du GDR IM (Villetaneuse 2008)
JCM: Journal of Computation and Mathematics
IFIP WG1.3 Foundations of System Specification
MAP - Mathematics, Algorithms, Proofs
GDR IM - Informatique Mathématique - Groupe LAC - Logique, Algèbre et Calcul
Journées "Calculs Symboliques". Groupe de travail LAC du GDR ALP (Grenoble 2005)
Projet InCa