| Event |
PDF in motion |
Printable PDF |
Comments |
| SYMPOSIUM ON XML, LOGIC, AND AUTOMATA 2008, A little bit infinite? Adding data to finitely labelled structures Grantown-on-Spey, July 2008 |
download | download | Slightly debugged and extended version of the STACS 08 talk |
| STACS 2008, Invited Talk on A little bit infinite? Adding data to finitely labelled structures Bordeaux, February 2008 |
download (8,4 MB!) |
download | |
| COLLOQUIUM LOGICUM 2006, Invited Talk on Two variable logics in the presence of an equivalence relation Bonn, September 2006 |
download | download | |
| PODS 2004, Invited Tutorial on Trees, Automata and XML Paris, June 2005 |
download | download | |
| EDBT Summer School 2004 Formal Methods for XML: Algorithms & Complexity |
download | download | |
| Lehrerfortbildung Informatik und Schule "Vor lauter Bäumen..." - XML und Formale Sprachen Marburg, 4.3.05 |
download | download | |
| 12. Jahrestagung der GI-Fachgruppe Logik in der Informatik Logic and XML München, 19.-20. Mai 2005 |
download | download |