Instytut Informatyki Analitycznej

数学与计算机系 uj-lift-theme.uniwersytet-jagiellonski

Seminaria

TBA

19.12.2007

On the chromatic number and independence number of hypergraph products

17.12.2007

Behavioural differential equations: a coinductive calculus

12.12.2007

Optimal edge ranking of trees

12.12.2007

Multicolored forests in bipartite decompositions of graphs

10.12.2007

Logical aspects of finite automata

05.12.2007

The algebraic approach to Constraint Satisfaction Problem, recent progress

05.12.2007

Finding disjoint paths in expanders deterministically and online

03.12.2007

Undeciding lambda-definability again

28.11.2007

On-line clique covering of proper interval graphs

28.11.2007