1.
``Intelligent Agents: Interaction and Knowledge acquisition'' founded by MURST (Turini).
2.
``Programma Java Campus'' Coop. with Sun Microsystems Italia (Attardi).
3.
``Formal Systems for the specification, analysis, verification,
synthesis and transformation of software systems'' (1998-1999), funded
by MURST, national coordinator: Giorgio Levi.
4.
``Verification, analysis and transformation of logic programs''
(1998-1999), funded by CNR (National Research Council), national
coordinator: Giorgio Levi.
5.
"Teoria della Concorrenza, Linguaggi di Ordine
Superiore e Strutture di Tipi", Progetto Cofinanziato MURST 1999-2000
(Montanari).
6.
"Metodi e Strumenti per la Progettazione e la
Verifica di Sistemi Eterogenei Connessi mediante
Reti di Comunicazione", Progetto Integrato CNR 1995-97
(Montanari).
7.
"Strumenti per la Specifica e la Verifica di
Proprieta' Critiche di Sistemi Concorrenti e Distribuiti", Progetto Coordinato
CNR 1994-96 (Montanari).
8.
``PQE2000: Strumenti per calcolo ad alte prestazioni'' (Vanneschi), founded by
QSW Ltd
(Roma, Pisa, Bristol)
9.
``PQE2000: Algoritmi genetici paralleli per la modellazione
finanziaria'' (Vanneschi) founded by Nomos Sistema Srl (Milano)
10.
``Design and development of an intelligent system for certification
and diagnosis of risk in elderly people'' within VAMA, funded by
``Istituto Superiore di Sanità'' for 1997/2000 (Sperduti, Starita).
11.
``Design of biologically active molecules by neural network techniques
applied to QSAR studies and by investigation of ligand-macromolecule
interactions'', 1999/2000, jointly funded by Pisa University and
MURST (Sperduti, Starita).
12.
``Data-X:
Gestione, Trasformazione e Scambio di Dati in Ambiente Web'' Progetto
cofinanziato MURST (Ghelli)
13.
``Modellazione progettazione turni e
servizi nel trasporto pubblico'' founded by MAIOR SRL (Ghelli)
14.
"Algorithms for very large data sets: science and engineering"
(Luccio)
15.
``Progetto e gestione di sistemi mobili'' founded by
CNR (Bonuccelli)
16.
``Sistemi paralleli, distribuiti e mobili'' founded by
Universita' di Pisa, Progetti di Ateneo (Bonuccelli)
17.
``Allocazione di risorse in reti di calcolatori'' Progetto
cofinanziato MURST (Bonuccelli)
18.
``Ottimizzazione del supporto di comunicazione in
ambienti di programmazione parallela''
CRUI - Programma Galileo (Bonuccelli)
