Section: Dissemination

Participation to symposia, seminars, invitations

Besides the presentations of our papers accepted to international conferences, the members of Dahu made the following keynote talks to international conferences or workshops.

Florent Jacquemard gave an invited presentation on “Rewrite based Verification of XML Updates” during the second Mini-Workshop on Rewriting Techniques, Nagoya, 2009.

Serge Abiteboul gave an invited presentation at Time'09 [19] .

Balder ten Cate gave an invited presentation at Invited speaker at the Workshop on Automata and Algorithmic Logic, Stuttgart 2009.