Przejdź do głównej treści strony

Zespół Katedr i Zakładów Informatyki Matematycznej
Uniwersytet Jagielloński

ul. Prof. S. Łojasiewicza 6
30-348 Kraków

telefon:(+48-12) 664 66 47
fax:(+48-12) 664 66 72
email:email
pokój:3053
sekretariat ogólny:
poniedziałek - czwartek:9:00-15:00
piątek:nieczynne (dzień pracy wewnętrznej)
sekretariat dydaktyczny:
poniedziałek - czwartek:10:00-13:00
piątek:nieczynne (dzień pracy wewnętrznej)

Najbliższe referaty

24.10.2018 12:14
Szymon Stankiewicz
Podstawy Informatyki
Encoding Turing Machines into the Deterministic Lambda Calculus by Ugo Dal Lago and Beniamino Accattoli
31.10.2018 12:14
Rafał Burczyński
Podstawy Informatyki
A Hitchhiker’s Guide to descriptional complexity through analytic combinatorics by Sabine Broda, António Machiavelo, Nelma Moreira and Rogério Reis
07.11.2018 12:14
Paweł Palenica
Podstawy Informatyki
On Randomised Strategies in the λ-Calculus by Ugo Dal Lago and Gabriele Vanoni
14.11.2018 12:14
Mateusz Tokarz
Podstawy Informatyki
Enumerating Proofs of Positive Formulae by GILLES DOWEK AND YING JIANG
14.11.2018 16:15
Michał Seweryn
Informatyka Teoretyczna
Bumping a ladder
21.11.2018 12:14
Marcin Briański
Podstawy Informatyki
On the compressibility of finite languages and formal proofs by Sebastian Eberhard and Stefan Hetzl

Wydarzenia

Aktualności