You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
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

Careers

Website

© 2024 University of Warsaw. All rights reserved.