Back to the main page
Picture from CHAMBERY KRAKOW LYON WORKSHOP on Computational Logic and Applications, June 20-21, 2005.
On the picture, Rene David, Piotr Micek, Kuba Kozik, Marek Zaionc, Bartek Bosek, Paweł Waszkiewicz, Iwona Cieślik.