Re: Current research topics update

Hi to every mad scientists who study frogs,

I've put the pdf file of my talk here:
http://iml.univ-mrs.fr/~guiraud/exposes/dresde.pdf

If I remember correctly, Charles wants my email, Ok it's done ;)

And a few references on higher-dimensional rewriting and polygraphs for 
Ozan, and anyone interested. I've sent them to Kai before the workshop but 
it seems that Frogs were not in cc:

- Albert Burroni, "Higher-dimensional word problem with application to 
equational logic", Theoretical Computer Science 1993.

- Yves Lafont, "Towards an algebraic theory of boolean circuits", Journal 
of Pure and Applied Algebra 2003. 
ftp://iml.univ-mrs.fr/pub/lafont/circuits.ps.gz

- Francois Metayer, "Resolutions by polygraphs", Theory and applications 
of categories 2003. http://www.tac.mta.ca/tac/volumes/11/7/11-07.pdf

- There is a preprint on my page with the main results from my thesis:
"Termination orders for 3-dimensional rewriting".
http://iml.univ-mrs.fr/~guiraud/recherche/erm.pdf

- and also my thesis (in french): 
http://iml.univ-mrs.fr/~guiraud/recherche/proprs.pdf

I'll try to write something quickly on the 3 dimensions of proofs, 
including something introductive about higher-dimensional rewriting. I let 
you know when it's done.

Alessio, about the short text for the open problems page, could you 
replace "Finally if the three compositions" by "If the three 
compositions", please? There are really too many "Finally" in the text I 
sent you, one of them must leave the city...

Thanks to everyone who was in Dresden last week, I really enjoyed my stay 
there: the talks and, more important, all the surroundings were very fine. 
I hope we will meet again soon!

See you,

Yves