Damian Niwinski
Talks
-
about Helena Rasiowa, CSL 2022, on the occasion of
Rasiowa award,
- On positional strategies over finite arenas,
workshop on cost functions and beyond,
Berlin, September 2018.
-
These mysterious game tree languages,
seminar at LIAFA, Paris, October 2015.
-
Trees with decidable theories,
at
ASL North American Annual Meeting, Boulder, CO, May 2014.
-
Logic of information processes,
at
Le culture dinanzi a Dio, Roma, June 2013.
-
Automata-theoretic hierarchies,
Games/Gandalf, Napoli, September 2012.
-
In search of the shortest description,
Philosophers' Rally, Gdansk 2012.
-
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)
