Ongoing projects  

General Information

Research

Collaborations & Cooperations

Teaching

News and Miscellaneous

Professional Activities

HOME

National Projects

• Models, languages, types and processes in computing  

  (Modeli jezici, tipovi i procesi u racunarstvu)  

  National project - Ministary of Science of Republic Serbia, no.144029      

  Duration: 2006- 2010 

  Project leader: Prof. Dr. Silvia Ghilezan

  Project description (English | Serbian) List of researchers

• Mathematical models in information technologies

  (Matematicki modeli u informacionim tehnolgijama)

  Regional project - Provincial Secretariat of Science and Technological Development of Province of Vojvodina

  Duration: 2005-2010

  Project leader: Prof. Dr. Silvia Ghilezan

  Project description (English| Serbian) List o researchers

International Projects

• Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems   

  COST IC0901

  Duration: 2009-2013

  Project grant holder: Dr. Viktor Kuncak, EPFL, Switzerland
  




• Doctoral School towards European Knowledge Society - DEUKS  

  TEMPUS -  CD_JEP-41099-2006 (RS)

  Duration: 2007-2009

  Project grant holder: Prof. Marina Lenisa, University of Udine, Italy

  Project coordinator: Prof. Silvia Ghilezan

• Types for Proofs and Programs - TYPES  

  FP6 - Framework Progamme Six Project no. 51099

  Duration: 2004-2008

  Project leader: Prof. Dr. Bengt Nordstrom, Chalmers University, Sweden

  Coordinator of Serbian site: Prof. Dr. Silvia Ghilezan

International Bilateral Projects

• Types and Logic in Information Technologies - TLIT

  Bilateral project CNRS France and MSEP Serbia 2007-2008, extended 2009-2010

  Project leaders: Prof. Dr. Silvia Ghilezan and Prof. Dr. Pierre Lescanne

• Distance learning in the area of computer supported mathematical education

  Bilateral project Serbia an Slovenia 2006-2007

  Project leaders: Prof. Dr. Silvia Ghilezan and Prof.Dr. Dusan Pagon