Return to the list of grants
Types, proofs and correct programs
- Coordinator
- prof. dr hab. Paweł Urzyczyn
- Contract number
- BST-1129/UM
- Starting date
- Jan. 1, 2006
- Ending date
- Dec. 31, 2007
- Financed by
- Ministry of Science and Higher Education
- Participants
- dr Jacek Chrząszcz, dr Aleksy Schubert, dr Daria Walukiewicz-Chrząszcz, mgr Patryk Czarnik, mgr Jarosław Kuśmierek, Gilles Dowek, Hugo Herbelin, Pierre Yves Strub, Christine Paulin, Jean-Christope Filliatre, Claude Marche