|
Zakład Programowania i Metod Formalnych
Instytut Informatyki
|
|
|
|
|
|
|
Współpraca naukowa
Artur Korniłowicz:
- Shinshu University, Nagano, Japonia; 1 czerwca 2008 -- 29 lipca 2008
- DIKU, Copenhagen, Denmark; 29 maja 2007 -- 2 czerwca 2007;
wykłady na DIKU i w Rovsing
- Shinshu University, Nagano, Japonia; 1 lipca 2003 -- 30 marca 2005;
stypendium postdoktoranckie
- Istituto per la Ricerca Scientifica e Tecnologica (ITC-IRST), Trento, Włochy;
16 lipca 2001 -- 30 czerwca 2002; Young Visiting Researcher, CALCULEMUS
- Shinshu University, Nagano, Japonia; 23 stycznia 2001 -- 21 lutego 2001;
obrona doktoratu
- Shinshu University, Nagano, Japonia; 1 grudnia 1998 -- 28 lutego 1999
dr Adam Naumowicz
- Shinshu University, Nagano, Japonia, 2-28 lutego 2010
mgr Karol Pąk
- Shinshu University, Nagano, Japonia, 1 lutego – 31 marca 2007
Goście zagraniczni przebywający w Instytucie Informatyki w ramach współpracy z ZPiMF:
- prof. Krystyna Kuperberg, Auburn University, USA; grudzień 2009
- dr Marco Caminati, Sapienza University of Rome, Italy; 8 marca – 1 kwietnia 2012
- prof. Piotr Rudnicki, University of Alberta, Kanada; marzec 2011
- dr Josef Urban, Radboud University, Nijmegen, Holandia;
2-11 kwietnia 2011,
22-30 czerwca 2011,
3-10 grudnia 2011
- dr Jesse Alama, New University of Lisbon, Portugalia;
2-11 kwietnia 2011,
22-30 czerwca 2011,
3-10 grudnia 2011
- dr Cezary Kaliszyk, Technical University München, Niemc; 16-20 listopada 2009
|
|
2008-2024 Instytut Informatyki UwB
|