You are not logged in | Log in
Return to the list of grants

Types, proofs and correct programs

prof. dr hab. Paweł Urzyczyn
Contract number
Starting date
Jan. 1, 2006
Ending date
Dec. 31, 2007
Financed by
Ministry of Science and Higher Education
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