Recent talks (to be completed...)

Anca Muscholl

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.