-
PROGETTI PRECEDENTI
- Automating FMECA for aircraft systems (AUTAS)
- Customer-Adaptive Web Interface for the Configuration of Products and Services (CAWICOMS)
- Digital TV: Ontologies and semantic proximity
- FOndazioni Logiche di LInguaggi Astratti di Programmazione (FOLLIA) --- PRIN2004
- I fondamenti cognitivi per la creazione del diritto [Cognitive basis in law] (PRIN05)
- INteractive TouRist Information GUidE (INTRIGUE)
- Knowledge-oriented technologies for enterprise aggregation in Internet (TOCAI.IT)
- Legal Taxonomy Syllabus
- Personalized Television Services
- Protecting Web Resources from Massive Automated Access
- Smart Tourist Agenda Recommender (STAR)
- Specifica e verifica di protocolli di interazione fra agenti
- User Adaptive Web-based Systems (SeTA )
- Wide-scalE, Broadband, Middleware for Network Distributed Services (WEB MINDS)
- SmartLab
- Diagnosis of complex Web Services (WS-DIAMOND)
- PeeR-to-peer beyOnd FILE Sharing (PROFILES)
- Critical UTility InfrastructurAL resilience (CRUTIAL )
- Performability-Aware Computing: Logics, Models, and Languages (PaCo)
- Intelligent Support to Retrieving Hydric Resources Data (Acqua)
- Recommendation and Discovery for Personal Video Recorder (RD-PVR)
- BioBITs: Developing white and green biotechnologies by converging platforms from biology and information technology towards metagenomics
- myMed
- Formal Verification of Object-Oriented Software (COST Action IC0701)
- DISCO (Distribution, Interaction, Specification, Composition for Object Systems)
- IPODS
- LCaTfOOPC: Language constructs and type systems for object oriented program components
- MeCTAFI: Constructive Methods in Topology, Algebra and Foundations of Computer Science
Ricerca: dettaglio
FOndazioni Logiche di LInguaggi Astratti di Programmazione (FOLLIA) --- PRIN2004
Attivit?Progetto FOLLIA ? finanziato dal programma Progetti di Rilevanza Nazionale (PRIN), del Ministero della Pubblica Istruzione, dell'Universit? e della Ricerca Scientifica (MURST). La durata ? di 24 mesi, dal 01-01-2004-01 fino al 01-01-2006, con un finanziamento di 136000 EUR (95.000 Euro dal MURST e 41.300 Euro dall'Universit? di Torino).
Aree/Progetti collegati: Appartiene a: |
Dipartimento di Informatica - C.So Svizzera, 185 - 10149 Torino
Università degli Studi di Torino - Via Verdi, 8 - 10124 Torino - Centralino +39 011 6706111
P.I. 02099550010 - C.F. 80088230018 - IBAN IT07N0306909217100000046985