Damian Niwinski
Talks
-
On separation question for automata-theoretic hierarchies, Dagstuhl,
October 2011.
-
Complexity of infinite tree languages--when automata meet topology,
seminar at the University of Liverpool, October 2010.
-
Symmetry and duality in fixed-point calculus
invited talk at
Square of Opposition -
Corte, Corsica - June 17-20, 2010.
-
On the complexity of infinite computations 2
at Technion, Haifa, and Tel Aviv University, February 2008.
-
On the complexity of infinite computations 1
at the Isaac Newton Institute, Cambridge, June 2006.
-
Unsafe grammars and panic automata
ICALP 2005 --- GAMES 2005.
-
Sur la structure rationnelle du calcul infini
expose a l'occasion de la remise de la Medaille de Bronze du CNRS.
a Igor Walukiewicz, Mai 2004 (in French).
- Project report 2006 (in Polish).
-
Problem P=NP
2009 (in Polish).
-
About Dietrich Bonhoeffer
(non-scientific, in Polish, 2010)
