You are not logged in | Log in
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