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:

20.11.2019 12:15
Edyta Garbarz
Computer science foundations
Unifying Logical and Statistical AI Pedro by Domingos, Daniel Lowd, Stanley Kok, Aniruddh Nath, Hoifung Poon Matthew Richardson and Parag Singla
20.11.2019 16:15
Patryk Mikos
Theoretical computer science
Efficient enumeration of non-isomorphic interval graphs
21.11.2019 16:15
Paweł Palenica
Combinatorial Optimization
Guess the Larger Number
27.11.2019 12:15
Piotr Mikołajczyk
Computer science foundations
Satisfiability in Strategy Logic can be Easier than Model Checking by Erman Acar, Massimo Benerecetti and Fabio Mogavero.
04.12.2019 12:15
Michał Zwonek
Computer science foundations
Probably Half True: Probabilistic Satisfability over Lukasiewicz Infnitely-valued Logic by Marcelo Finger and Sandro Preto
11.12.2019 12:15
Mateusz Górski
Computer science foundations
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic by Paul Wild, Lutz Schroder, Dirk Pattinson and Barbara Konig.