Instytut Informatyki Analitycznej

Wydział Matematyki i Informatyki Uniwersytet Jagielloński

Seminaria

Algebraic proof of Brooks' theorem

11.03.2010

Algebraic methods in discrete analogs of the Kakeya problem

04.03.2010

Games where the Local Lemma works

25.02.2010

PROOFS AND TYPES

28.01.2010

Program Analysis

27.01.2010

Big-line-big-clique conjecture

21.01.2010

Unambiguous Functions in Logarithmic Space

20.01.2010

Procedury dowodowe oparte na twierdzeniu Herbranda

20.01.2010

On-line matching on bipartite graphs

13.01.2010

My favorite four color problems

07.01.2010