Instytut Informatyki Analitycznej

Wydział Matematyki i Informatyki Uniwersytet Jagielloński

Seminaria

The chromatic number of the plane is at least 5

07.06.2018

Relational parsing: a clean generalized parsing algorithm.

06.06.2018

Linear lambda terms as invariants of rooted trivalent maps by Noam Zeilberger

06.06.2018

STATMAN'S HIERARCHY THEOREM by BRAM WESTERBAAN, BAS WESTERBAAN, RUTGER KUYPER, CARST TANKINK, REMY VIEHOFF AND HENK BARENDREGT

30.05.2018

How many ants does it take to find the food?

24.05.2018

Canceled

23.05.2018

On the Number of Maximum Empty Boxes Amidst n Points

17.05.2018

On Type Inference in the Intersection Type Discipline by Gerard Boudol and Pascal Zimmer

16.05.2018

FIT – Forum Informatyki Teoretycznej

11.05.2018 - 12.05.2018

Faster approximation schemes for the two-dimensional knapsack problem

10.05.2018