Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
    informatyka analityczna  
UJ coat of arms
Theoretical Computer Science
at Jagiellonian
Theoretical Computer Science,
Jagiellonian University,
ul. Łojasiewicza 6,
30-348 Kraków, Poland
phone:(+48-12) 664 66 47
fax:(+48-12) 664 66 72
email: email
office:room 3053
Monday 11:00 - 15:00
Tuesday 11:00 - 15:00
Wednesday 11:00 - 15:00
Thursday 11:00 - 15:00
Friday 10:00 - 14:00
photo of the group

11.02.15 Marek Zaionc MAESTRO prestigious grant for Paweł Idziak.
11.02.15 Marek Zaionc Grant of Polish National Science Center for TCS
27.10.14 Pawel M. Idziak Jagiellonian Team 2nd in 2014 Polish Collegiate Programming Contest
28.06.14 Pawel M. Idziak Diament Grant for Grzegorz Guśpiel
08.06.14 Pawel M. Idziak TCS student, Piotr Bejda - Algorithmaster of the Year 2014

upcoming seminars:
22.04.15 Agnieszka ŁupińskaComputer science foundations: (starts at 12:15 in room 0174)
The Converse principal Type Algorithm by Roger Hindley 
22.04.15 Marcin RegdosTheoretical computer science: (starts at 16:15 in room 0174)
An O(n^4) Time Algorithm to Compute the Bisection Width of Solid Grid Graphs 
29.04.15 Marcin KostrzewaComputer science foundations: (starts at 12:15 in room 0174)
A Short Note on Type-inhabitation: Formula-Trees vs. Game Semantics by S. Alves, S. Broda 
29.04.15 Agnieszka ŁupińskaTheoretical computer science: (starts at 16:15 in room 0174)
Strong Conflict-Free Coloring for Intervals 

Research groups of Theoretical Computer Science Department:

Our group work in a project 'We compete with the best' within a program 'Future generation'.

research interests: seminars:
complexity theory
discrete mathematics
domain theory
lambda calculi
Combinatorial Optimization:
Tuesday 14:15 - 15:45
Randomized and approximation algorithms:
Tuesday 16:15 - 17:45
Computer science foundations:
Wednesday 12:15 - 14:00
Wednesday 14:15 - 15:45
Theoretical computer science:
Wednesday 16:15 - 18:00
Algorithmic aspects of combinatorics:
Thursday 16:15 - 18:00

Faculty of Mathematics and Computer Science consists of:
You are welcome every month at the Faculty Colloquim (pl)
  webmaster: email = a@b, a=www-tcs,