Theoretical Computer Science
Faculty of Mathematics and Computer Science
Jagiellonian University
Theoretical Computer Science
at Jagiellonian
guest
TCS - home
algorithmics
cs foundations
research&development center
news
forum
photos
links
usosweb (pl)
our building (pl)
events:
computer science on trail (pl)
UZI - March 10, 2012
OLIMPICS IN CS 2012
FIT 2012 (pl)
4th Polish Combinatorial Conference
posets session 2012
past events
scholarships for you:
rektorski fundusz stypendialny dla olimpijczyków
fundusz im. Florentyny Kogutowskiej
seminars:
Algorithmic aspects of combinatorics
Cryptography
Computer science foundations
Graphs & Posets
SSAK
Theoretical computer science
achievements:
grants
faculty, phd students
students
graduates:
phd theses
msc theses
people:
Marek Adrian
Bartłomiej Bosek
Maciej Chociej
Iwona Cieślik
Lech Duraj
Michał Farnik
Monika Gillert
Katarzyna Grygiel
Jarosław Grytczuk
Andrzej Grzesik
Grzegorz Gutowski
Michał Handzlik
Grzegorz Herman
Leszek Horwath
Pawel M. Idziak
Karol Kosiński
Mateusz Kostanek
Marcin Kozik
Jakub Kozik
Tomasz Krawczyk
Małgorzata Kruszelnicka
Michał Lasoń
Wojciech Lubawski
Grzegorz Matecki
Piotr Micek
Arkadiusz Pawlik
Andrzej Pezarski
Mikołaj Pudo
Stanisław Sędziwy
Michał Staromiejski
Piotr Szafruga
Edward Szczypka
Maciej Ślusarek
Bartosz Walczak
Paweł Waszkiewicz
Marek Zaionc
Michał Zmarz
Wiktor Żelazny
login:
password:
2010
3PCC, 2010.09.24
3rd Polish Combinatorial Conference Będlewo, September 24-30, 2010
CLA 2010, 2010.06.12
Computational Logic and Applications
Algebraic Methods in Dynamical Systems 2010, 2010.05.16
Metody algebraiczne metody w systemach dynamicznych
FIT 2010, 2010.04.22
Forum Informatyki Teoretycznej
Olimpiada Informatyczna 2010, 2010.02.09
2009
Forum Informatyki Teoretycznej, 2009.04.24
2008
2nd Polish Combinatorial Conference: October 17-23, 2008, Banach Center Bedlewo, 2008.10.17
Computational Logic and Applications (CLA 2008), 2008.06.06
Versailles-Lyon-Chambery-Krakow Workshop on Computational Logic
FIT 22 Forum Informatyki Teoretycznej (FIT2008), 2008.04.18
2007
TopCoder College Tour at Jagiellonian, 2007.11.17
On November 17th, 2007, at 5:30pm, we has been hosting an onsite programming competition sponsored by TopCoder .
Computational Logic and Applications (CLA2007), 2007.09.24
Versailles-Lyon-Krakow Workshop on Computational Logic
Forum Informatyki Teoretycznej (FIT2007), 2007.04.13
2006
XI AMPPZ, 2006.11.03
Polish Collegiate Programming Contest
2005
X AMPPZ, 2005.10.28
Polish Collegiate Programming Contest
DISC 2005 19th International Symposium on Distributed Computing, 2005.09.26
DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations.
Computational logic and Applications (CLA 2005), 2005.06.20
2004
IX AMPPZ, 2004.10.22
Polish Collegiate Programming Contest
Computational Logic and Applications (CLA2004), 2004.06.17
2002
Lambda-calculus, type theory and mathematical logic CLA 2002)., 2002.06.27
2001
5th International Conference on Typed Lambda Calculi and Applications (TLCA 2001), 2001.05.02
webmaster: