Projekat COST ICT Action IC0901

Medjunarodni projekat "COST ICT Action IC0901: Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems" koji traje od oktobra 2009 do oktobra 2013.

(http://www.cost.esf.org/domains_actions/ict/Actions/IC0901-Rich-Model-Toolkit-An-Infrastructure-for-Reliable-Computer-Systems-End-date-October-2013)

Realizuje se u okviru evropskog sistema COST. On okuplja istraživačke grupe iz dvadeset evropskih zemalja, uključujući Grupu za automatsko rezonovanje sa Matematičkog fakulteta. Vanr. prof. Predrag Janičić
(Matematički fakultet, Beograd, http//www.matf.bg.ac.rs/~janicic ) je član upravnog odbora projekta.

Osnovni cilj projekta je razvoj tehnika i alata za automatsko rezonovanje koji su primenljivi na širok skup problema i jednostavni za korišćenje istraživačima, dizajnerima hardvera, programerima koji razvijaju informacione sisteme i drugi softver, korisnicima softvera itd.

COST ( http://www.cost.esf.org ) je medjunarodni okvir za evropsku saradnju u nauci i tehnologiji usmeren na koordinaciju projekata finansiranih na nacionalnom nivou.