Skip to main content

Theoretical Computer Science Department of
Jagiellonian University

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

phone:  (+48-12) 664 66 47
fax:(+48-12) 664 66 72
general secretariat:
Monday - Thursday:9:00-15:00
didactic secretariat:
Monday - Thursday:10:00-13:00

Upcoming seminars:

05.10.2022 16:15
Paul Seymour
Princeton University
Theoretical computer science
Getting closer to the Erdős-Hajnal conjecture
12.10.2022 12:14
Mateusz Olszewski
Computer science foundations
Implicit computation complexity in higher-order programming languages (A Survey in Memory of Martin Hofmann) by Ugo Dal Lago
12.10.2022 16:15
Friedrich Eisenbrand
École Polytechnique Fédérale de Lausanne
Theoretical computer science
TBA - Friedrich Eisenbrand
19.10.2022 12:14
Juliusz Wajgelt
Computer science foundations
Short Proofs of Normalization for the simply-typed λ-calculus, permutative conversions and Godel’s T by Felix Joachimski and Ralph Matthes
19.10.2022 16:15
Vida Dujmović
University of Ottawa
Theoretical computer science
TBA - Vida Dujmović
26.10.2022 12:14
Julian Leśniak
Computer science foundations
Tight rank lower bounds for the Sherali–Adams proof system by Stefan Dantchev, Barnaby Martin and Mark Rhodes