International Cooperation

The Department is engaged in the following projects financed by the European Community:

1.

``Telematics EuroSearch'' (Attardi) (coordinator Italia Online SpA)

2.

European Internet Initiative (Attardi) Coop. with Hewlett-Packard Europe

3.

"Models and languages for interacting software components" Integrated actions Italy-Spain founded by the Ministero dell'Universita' e della Ricerca Scientifica (I) and Ministerio de Educacion y Cultura (S) (Brogi).

4.

"Component-based distributed programming" Scientific cooperation projects founded by Ministero Affari Esteri (I) and MOSTE (VN) (Brogi).

5.

GeTGraTS (GEneral Theory of GRAph Transformation Systems), Network within the "Training and Mobility for Research" program, 1996-2000 (Montanari, Corradini).

6.

CONFER (CONcurrency and Functions), Working Group within the Esprit program, 1997-2000 (Montanari).

7.

COORDINA, Working Group within the Esprit program, 1997-2000. (Montanari).

8.

APPLIGRAPH (Applications of Graph Transformation), Working Group within the Esprit program, 1997-2000 (Montanari).

9.

``Neurap: development of a neural tool for the processing of electromyographic evoked potentials'', funded by Oxford Instruments (UK) for 1999/2000 (Sperduti, Starita).

10.

``WOMAN'', European Project HC 4026 for 1998/2000, in Health Telematics (Sperduti, Starita).

11.

``MODASPECTRA'', European Project MM 1041 for 1998/2000, in Educational Multimedia (Sperduti, Starita).

12.

``Adaptive Processing of Data Structures'' funded by the Australian Research Council (ARC), Large Grant for 1998/2000 (Sperduti, Starita).

13.

ESPRIT Working Group N. 26142 APPSEM ``Applied Semantics'' (Ghelli)

14.

ESPRIT Working Group N. 20800 RENOIR ``Requirements Engeneering Network of International cooperating Research groups'' (Ambriola).

15.

ESPRIT Working Group N. 22552 PASTEL ``Persistent Application Systems, Technologies, Environments and Languages'' (Albano).

16.

``Mobile computations'' e ``Query languages for semi structured data'' founded by Microsoft Research - Cambridge (Ghelli)

17.

UNESCO Contracts 875.631.9 and 875.887.9 "Large data processing: methods and applications" (Luccio)

An agreement of ``scientific cooperation'' has been established with the Scuola Normale Superiore (Pisa) and the Ecole Normale Supérieure (Paris). Within this framework common research activities as well as exchanges of researchers and students are being developed.

An agreement of cooperation is established between the University of Pisa and the Universidade de La Habana (resp. G. Levi).

The Department also collaborates with Scuola Superiore di studi e Perfezionamento S. Anna (Pisa) and University of Catania.