Michał Skrzypczak

A talk from research seminar Graphes et Logique, March 13'th 2012,
MSO+U defines languages at arbitrarily high levels of the projective hierarchy.
A talk from research seminar Automata Theory, November 23'rd 2011,
Separation property for wB and wS-regular languages.
A talk from seminar Logic and Computation Theory, October 13'th 2010,
a talk from research seminar Automata Theory, November 17'th 2010,
a talk from Young Researchers Forum during MFCS 2011, August 23'rd 2011,
Equational theories of profinite structures,
[PDF 229 KB]
A talk from seminar Logic and Computation Theory, January 5'th 2011,
W poszukiwaniu modelu automatów dla MSO+U,
[PDF 122 KB]
A talk from XIII International Young Mathematicians Workshop, September 22'nd 2010,
Topological properties of infinite computations,
[PDF 300 KB]
A talk from research seminar Automata Theory, March 24'th 2010,
On topological complexity of MSO+U over infinite words,
[PDF 164 KB]
A talk from seminar Topology and Set Theory, January 5'th 2010,
a talk from seminar Logic and Computation Theory, March 3'rd 2010,
a talk from research seminar Set Theory, March 3'rd 2010,
a talk from seminar Topology and Set Theory, March 23'rd 2010,
O kolorowaniach drzewa Cantora,
[PDF 242 KB]
A talk from seminar Logic and Computation Theory, May 14'th 2009,
Ponad-wielomianowy czas działania algorytmu Strategy Improvement,
[PS 2016 KB] [PDF 298 KB]
A talk from seminar Logic and Computation Theory, January 15'th 2009,
a talk from Mathematical Scientific Club, January 22'nd 2009,
a talk from seminar Topology and Set Theory, May 12've 2009,
Obwody logiczne a zbiory borelowskie,
co-authors: A. Radziwończyk-Syta,
[PS 265 KB] [PDF 188 KB]
A talk from seminar Topology and Set Theory, November 18'th 2008,
Algebry Boole'a,
[PS 283 KB] [PDF 205 KB]
A talk from proseminar Topology - Coarse geometry, October 11'th 2007,
Zgrubne spojrzenie na przestrzenie metryczne,
[PS 323 KB] [PDF 216 KB]
A talk from 129'th session of IMPANGA, May 5'th 2007,
Równoważność między nierównością Lagariasa, a hipotezą Riemanna,
[PS 273 KB] [PDF 191 KB]

Slides from GAMES 2011 workshop, September 01'st 2011,
MSO+U describes sets at arbitrarily high levels of the projective hierarchy,
co-authors: S. Hummel.
Slides from Young Researchers Forum during MFCS 2011, August 23'rd 2011,
Equational theories of profinite structures,
[PDF 403 KB]
Slides from XXV Forum of Theoretical Computer Science, April 9'th 2011,
Złożoność topologiczna logiki MSO+U,
co-authors: S. Hummel.
Slides from XIII International Young Mathematicians Workshop, September 22'nd 2010,
Topological properties of infinite computations,
[PDF 380 KB]
Slides from XI Logic Workshop, June 29'th 2010,
Topologia a logika - języki definiowalne w MSO+U,
[PDF 583 KB]
Slides from XXIV Forum of Theoretical Computer Science, April 22'nd 2010,
O kolorowaniach drzewa Cantora,
[PDF 256 KB]
Slides from X Logic Workshop, January 7'th 2009,
Topologia zbioru Cantora a obwody logiczne,
co-authors: A. Radziwończyk-Syta,
[PDF 525 KB]

Article from proceedings of XIII International Young Mathematicians Workshop,
Topological properties of infinite computations,
[PDF 1596 KB]
Article from Delta journal, issue 03/2009,
Wprowadzenie do zgrubnej geometrii,
[PS 258 KB] [PDF 196 KB]
A talk from workshop ZOSIA 2009, March 7'th 2009,
Obwody logiczne a zbiory borelowskie,
co-authors: A. Radziwończyk-Syta,
[PDF 386 KB]
Article from Delta journal, issue 10/2008,
Wszystko jest funkcją,
[PS 192 KB]
Article from Delta journal, issue 03/2008,
O pewnej sztuczce,
[PDF 186 KB]
A talk from Mathematical Scientific Club, January 16'th 2008,
Wprowadzenie do zgrubnej geometrii,
[PS 263 KB] [PDF 185 KB]

Documents

Theses

Papers

Talks

Slides

Popularisation