Jagiellonian Team:

Rafał Józefowicz
Alan Meller
Bartosz Walczak

placed 4th in the 2007 Polish Collegiate Programming Contest
Poznań, Poland, October 26-27, 2007
 

Many, many photos are now available via picasaweb. Enjoy!

http://picasaweb.google.com/tcs.uj.edu.pl

Jagiellonian University journal
Reports on Mathematical Logic
is now indexed by DBLP,
DataBase systems and Logic Programming
Digital Bibliography & Library Project
on Computer Science Bibliography

http://www.informatik.uni-trier.de/~ley/db/journals/rml/index.html