Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
 
    informatyka analityczna  
UJ coat of arms
Foundations of Computer Science
 
 
address:
Foundations of 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

news:
04.04.12 Marek Zaionc diamentowy grant dla Roberta Obryka
23.12.11 Pawel M. Idziak UZI is coming
04.12.11 Pawel M. Idziak New Polish National Science Center grants for TCS
04.12.11 Pawel M. Idziak 6 Jagiellonian teams among top 10 in Poznan Collegiate Programming...
26.11.11 Pawel M. Idziak Maciej Wawro 4th in Algorithmic Engagements 2011

upcoming seminars:
23.05.12 Maciej BendkowskiComputer science foundations: (starts at 12:15 in room 1086)
On the expressive power of schemes by Dowek G, Jiang Y 

research interests: seminars:
computability theory
computational logic
logic programming
typed lambda calculus
domain theory
category for computer science
Computer science foundations:
Wednesday 12:15 - 14:00
 
 
  webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl