Home

Gruppo di Logica e Geometria della Cognizione

  • Accedi
Home

Progetti di ricerca

In corso

Passati
ProgettoAcronimoInizioFine
Multiscale Immune System SImulator for the Onset of Type 2 Diabetes integrating genetic, metabolic and nutritional dataMISSION-T2D01/09/201301/09/2016
Metodi logici per il trattamento dell'informazionePRIN 2010-201120/11/201220/11/2015
CONtrollo e CERTificazione dell'uso delle RisorseCONCERTo01/09/200831/08/2010
Rete italo-francese di ricerca in logica e geometria della computazione31/12/200514/12/2008
Fondazioni Logiche di Linguaggi Astratti di ProgrammazioneFollia31/12/200425/12/2006
Cattedra Ennio De Giorgi - Franco Venturi (UFI)30/09/200425/12/2004
From proof to computation through linear logicProToCoLLo31/12/200229/12/2004

  • Home
  • Calendario
  • Membri
  • Visitatori
  • Eventi
  • Seminari
  • Formazione
  • Tesi
  • Progetti
  • Pubblicazioni
  • Come arrivare
webmaster: Paolo Pistone e Marco Romano