Instytut Informatyki Analitycznej

Wydział Matematyki i Informatyki Uniwersytet Jagielloński

Seminaria

Upper and lower bounds for satisfiability threshold

26.11.2007

Problemy modeli Kripkego dla teorii pierwszego rzędu

21.11.2007

Unprovability of the 3n+1-conjecture

19.11.2007

Tree walking automata cannot be determinized

14.11.2007

Optimal orientation on-line

14.11.2007

Piercing d-intervals

12.11.2007

On learning monotone Boolean functions under the uniform distribution

07.11.2007

Solution of the EKG conjecture

05.11.2007

Complexity of nonrepetitive colorings

29.10.2007

Algorithmic meta-theorems and treewidth

24.10.2007