Theoretical Computer Science Faculty of Mathematics and Computer Science Jagiellonian University
		Theoretical Computer Science at Jagiellonian
	guest TCS - home algorithmics cs foundations news forum photos usosweb (pl) links events: computer science on trail (pl) UZI - October 2008 (pl) 2PCC - October 17-23, 2008 CLA 2008 past events seminars: Algorithmic Aspects of Combinatorics Cryptography Computer Science Foundations Graphs & Posets Theoretical Computer Science people: Bartłomiej Bosek Przemysław Broniek Maciej Chociej Iwona Cieślik Jarosław Duda Lech Duraj Monika Gillert Tomasz Gorazd Katarzyna Grygiel Jarosław Grytczuk Grzegorz Gutowski Zbigniew Hajto Pawel M. Idziak Jan Jeżabek Jarosław Karpiak Kamil Kloch Marcin Kozik Jakub Kozik Tomasz Krawczyk Jacek Krzaczkowski Grzegorz Matecki Piotr Micek Andrzej Pezarski Mikołaj Pudo Stanisław Sędziwy Michał Staromiejski Edward Szczypka Maciej Ślusarek Paweł Waszkiewicz Marek Zaionc Michał Zmarz Wiktor Żelazny Maciej Żenczykowski login: password:	2008 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: www-tcs@tcs.uj.edu.pl