Projects

In this page you can find information on the scientific projects coordinated by the group and the previous projects in which it was involved or coordinated.

The group currently coordinates the following project(s):

  • Marie Curie RISE project SYSMICS (SYntax Meet Semantics: Methods, Interactions, and Connections in Substructural logics).  Project website. The project involves the following universities:
    1. Università degli Studi di Cagliari (Italy)
    2. Università degli Studi di Milano (Italy)
    3. Univeristà degli Studi dell’Insubria (Italy)
    4. Univerzita Palack ́eho v Olomouci (Czech Republic)
    5. Ustav informatiky – Akademie ved Ceske republiky (Czech Republic)
    6. Ustav Teorie Informacea Atuomatizace – Akademie ved Ceske republiky (Czech Republic)
    7. Technische Universität Wien (Austria)
    8. Instituto de Investigacion en Inteligencia Artificial (Spain)
    9. Universitat de Barcelona (Spain)
    10. Universitat Autonoma de Barcelona (Spain)
    11. Universiteit van Amsterdam (The Netherlands)
    12. Universitaet Bern (Switzerland)
    13. Vanderbilt University (U.S.)
    14. University of Denver (U.S.)
    15. New Mexico State University (U.S.)
    16. Kyoto University (Japan)
    17. La Trobe University (Australia)
    18. Australian National University (Australia)
    19. University of Witwatersrand (South Africa)
    20. Centro de Logica, Epistemologia e Historia da Ciencia (Brazil)
    21. Nanyang Technological University (Singapore)
    22. Consejo Nacional de Investigaciones Cientıficas y Tecnicas (Argentina)

 

The group was also involved in the following projects:

  1. Italian PRIN 2010-2011 Logical methods for information treatment, involving the following universities in Italy: Bologna, Firenze/Siena, Genova, Milano, Padova, Perugia, Roma, Torino, Udine. (Coordinator)
  2. Marie Curie IRSES project MATOMUVI website (Coordinator)
  3. PRIN 2008 “Logic and Algebra for uncertain information” (Coordinator).
  4. PRIN 2006-2007 “Aspetti algebrici e computazionali delle logiche a più valori” (Research unit).
  5. PRIN 2004 “Logiche a più valori e informazioni incerta: metodologie algebriche” (Research unit).
  6. PRIN 2002 ” Logica a più valori e logica fuzzy per il Soft Computing” (Research unit).
  7. COST Action 15 “Many-valued logic for computer science applications” (Research unit).