logo_uwb Zakład Programowania i Metod Formalnych
Instytut Informatyki
 
 

Współpraca naukowa


Artur Korniłowicz:
  1. Shinshu University, Nagano, Japonia; 1 czerwca 2008 -- 29 lipca 2008
  2. DIKU, Copenhagen, Denmark; 29 maja 2007 -- 2 czerwca 2007; wykłady na DIKU i w Rovsing
  3. Shinshu University, Nagano, Japonia; 1 lipca 2003 -- 30 marca 2005; stypendium postdoktoranckie
  4. Istituto per la Ricerca Scientifica e Tecnologica (ITC-IRST), Trento, Włochy; 16 lipca 2001 -- 30 czerwca 2002; Young Visiting Researcher, CALCULEMUS
  5. Shinshu University, Nagano, Japonia; 23 stycznia 2001 -- 21 lutego 2001; obrona doktoratu
  6. Shinshu University, Nagano, Japonia; 1 grudnia 1998 -- 28 lutego 1999

dr Adam Naumowicz
  1. Shinshu University, Nagano, Japonia, 2-28 lutego 2010

mgr Karol Pąk
  1. Shinshu University, Nagano, Japonia, 1 lutego – 31 marca 2007

Goście zagraniczni przebywający w Instytucie Informatyki w ramach współpracy z ZPiMF:

  1. prof. Krystyna Kuperberg, Auburn University, USA; grudzień 2009
  2. dr Marco Caminati, Sapienza University of Rome, Italy; 8 marca – 1 kwietnia 2012
  3. prof. Piotr Rudnicki, University of Alberta, Kanada; marzec 2011
  4. dr Josef Urban, Radboud University, Nijmegen, Holandia; 2-11 kwietnia 2011, 22-30 czerwca 2011, 3-10 grudnia 2011
  5. dr Jesse Alama, New University of Lisbon, Portugalia; 2-11 kwietnia 2011, 22-30 czerwca 2011, 3-10 grudnia 2011
  6. dr Cezary Kaliszyk, Technical University München, Niemc; 16-20 listopada 2009



 
2008-2024 Instytut Informatyki UwB