Nie jesteś zalogowany | Zaloguj się
Powrót do listy grantów

Typy, dowody i poprawne programy

Koordynator
prof. dr hab. Paweł Urzyczyn
Numer umowy
BST-1129/UM
Data rozpoczęcia
1 stycznia 2006
Data zakończenia
31 grudnia 2007
Finansowany przez
Ministerstwo Nauki i Szkolnictwa Wyższego
Wykonawcy
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