Community Research and Development Information Service - CORDIS

Algebraic and deduction methods in non-classical logic and their applications to Computer Science

From 2005-05-01 to 2007-04-30

Project details

Total cost:

Not available

EU contribution:

EUR 80 000

Coordinated in:

Italy

Objective

Coordinator

University of Udine
Italy
via delle Scienze 206
33100 Udine
Italy
See on map
Administrative contact: Alberto POLICRITI
Tel.: +39-04-32558464
Fax: +39-04-32558499
E-mail

Participants

Georgian Academy of Science Razmadze, Mathematical Institute
Georgia
Aleksidze str. 1
0193 Tbilisi
Georgia
Administrative contact: Leo ESAKIA
Research Institute National, Institute of Telecommunications
Poland
Szachowa 1
04894 Warsaw
Poland
See on map
Administrative contact: Ewa ORLOWSKA
Siberian Branch of Russian Academy of Sciences Sobolev, Institute of Mathematics, Siberian Branch of the RAS
Russia
Prospekt Koptyuga 4
630090 Novosibirsk
Russia
See on map
Administrative contact: Larisa MAKSIMOVA
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top