Project ICT COST Action IC0901
International project "ICT COST Action IC0901: Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems, which runs from October 2009 to October 2013th
Implemented within the European COST system. It brings together research groups from twenty European countries, including automated reasoning group with the Faculty of Mathematics. Associate. prof. Predrag Janicic (Faculty of Mathematics, Belgrade, http//www.matf.bg.ac.rs/~janicic) is a board member of the project.
The main objective of the project is to develop techniques and tools for automatic reasoning applicable to a wide set of problems and easy to use for researchers, designers, hardware developers who are developing information systems and other software, users, software and so on.
COST is an international framework for European cooperation in science and technology focused on the coordination of projects financed at the national level.