Theoretical Computer Science

Faculty of Mathematics and Computer Science Jagiellonian University

Seminaria

On some graph coloring problems

05.05.2016

How does a typical finite metric space look like?

28.04.2016

Beta Reduction is Invariant, Indeed by Beniamino Accattoli and Ugo Dal Lago

27.04.2016

On some problems in combinatorial number theory

21.04.2016

On subposets of dimension two

20.04.2016

On the equivalence of different presentations of Turner's bracket abstraction algorithm by Lukasz Czajka

20.04.2016

Hat guessing game on sparse graphs

14.04.2016

On the Computing Power of +, -, and x by Marcello Mamino

13.04.2016

Intersection Graphs of Non-crossing Paths

07.04.2016

The Fractal Dimension of SAT Formulas by Carlos Ansotegui, Maria Luisa Bonet, Jesus Giraldez-Cru and Jordi Levy

06.04.2016