Last update: october 2005
Logic and automata over infinite alphabets,
Workshop on tree automata, Bonn June 7-9, 2006.
Two-variable logic over infinite alphabets,
Perspectives in verification - Workshop in honour of Prof. Dr. Wolfgang Thomas on the occasion of his Doctorate Honoris Causa, November 17-18, Cachan, 2005.
Synthesis for concurrent models
Dagstuhl-Seminar Synthesis and planning, June 2005.