Dominique Duval

Slides

Dominique Duval, with Jean-Guillaume Dumas, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States. ACCAT'12, Tallinn, April 1., 2012.

Dominique Duval, with Rachid Echahed, Frédéric Prost. Graph rewriting with cloning. ANR CLIMT, Grenoble, February 28., 2012.

Dominique Duval, with Jean-Guillaume Dumas, Laurent Fousse, Jean-Claude Reynaud. Designing proof systems from programming features: states and exceptions considered as dual effects. Groupe de travail "Sémantique", PPS, Paris, July 5., 2011. Here is a previous version of this talk, workshop "Réalisabilité à Chambéry", June 14., 2011.

Dominique Duval, with Jean-Guillaume Dumas, Laurent Fousse, Jean-Claude Reynaud. States and exceptions considered as dual effects. ACCAT'11, Sarrebrück, March 27., 2011.

Dominique Duval, with Jean-Guillaume Dumas, Laurent Fousse, Jean-Claude Reynaud. Decorated specifications for states and exceptions. IFIP WG1.3 meeting, Aussois, January 7., 2011.

Dominique Duval, avec César Dominguez, Jean-Guillaume Dumas, Laurent Fousse, Jean-Claude Reynaud. About categorical semantics. Capp Café, Grenoble, October 15., 2010.

Dominique Duval, with Jean-Guillaume Dumas, Laurent Fousse, Jean-Claude Reynaud. States and exceptions are dual effects. Workshop on Categorical Logic, Brno, August 29., 2010. Here is a long version of this talk.

Dominique Duval, avec Jean-Guillaume Dumas, Laurent Fousse, Jean-Claude Reynaud. Les exceptions sont symétriques des états. Séminaire LJK-MAD BIPOP-CASYS, Grenoble, May 6., 2010.

Dominique Duval. Categorical Computer Science. Poster, LJK, janvier 2010.

Dominique Duval. Deduction and Fractions. Categorical Computer Science, CCS'09, Grenoble, November 26, 2009.

Dominique Duval. Zooms for Effects. IFIP WG1.3 meeting, Udine, September 11., 2009.

Dominique Duval. Sequential products for effects. ACCAT'09, York, March 22., 2009.

Dominique Duval. Un cadre formel pour parler de "logique". Journées GEOCAL-LAC du GDR IM, Lyon, March 17., 2009.

Dominique Duval, avec Rachid Echahed, Frédéric Prost. Réécriture de graphes. Séminaire LJK-MAD BIPOP-CASYS, Grenoble, February 12., 2009.

Dominique Duval, avec Jean-Claude Reynaud, Christian Lair, Jean-Guillaume Dumas. Logiques diagrammatiques et effets de bord. Groupe de travail Sémantique et Réalisabilité, équipe PPS, Paris, June 17., 2008.

Dominique Duval, avec Jean-Claude Reynaud, Jean-Guillaume Dumas, Laurent Fousse. Un problème de point-virgule. Séminaire MAD, Grenoble, May 29., 2008.

Dominique Duval, with Rachid Echahed and Frédéric Prost. A double-pushout approach for modeling pointer redirection. IFIP WG1.3 meeting, January 18., 2008.

Dominique Duval, with Jean-Guillaume Dumas and Jean-Claude Reynaud. Sequential products in effect categories, Journées ARROWS, Nancy, June 7., 2007.

Dominique Duval. Sémantiques pour un langage impératif. Colloquium du LACO, Limoges, February 23., 2007.

Dominique Duval, with Rachid Echahed and Frédéric Prost. Méthodes catégoriques pour la réécriture de graphes. Journées ARROWS, Grenoble, November 28., 2006.

Dominique Duval. Dessiner des raisonnements. Séminaire MOSAIC, LMC-IMAG, Grenoble, June 29., 2006.

Dominique Duval, partly with Christian Lair. The category of diagrammatic logics. Ifip WG1.3 meeting, June 3., 2006.

Dominique Duval, with Jean-Claude Reynaud. About raising and handling exceptions. WADT'06, June 1., 2006.

Jean-Guillaume Dumas et Dominique Duval. DML. Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox. LMO'06, March 22., 2006

Dominique Duval, with Christian Lair and Jean-Claude Reynaud. Diagrammatic logic and effects:  the example of exceptions MAP'05, January 13., 2005.

Dominique Duval, with Christian Lair and Hélène Kirchner. An Introduction to Diagrammatic Specifications. MAP'04, January 14., 2004.