International Cooperation

The Department is involved in the following projects founded by international companies or institutions:

1. ``AutoMathA - Automatha and Applications'', (Maggiolo) European Science Foundation
2. ``RENOIR'', (Gervasi) ESPRIT Network of Excellence
3. ``Parallel simulation of fluids in complex tridimensional porous systems'', (Pelagatti) Galileo Program, Università Italo-Francese, Pisa-Paris VII
4. ``Efficient Algorithms fot the identification and the analisys of repetitions and duplications in large genomic sequences'', (Grossi) Galileo Program, Università Italo-Francese, Pisa-INRIA Rhone Alpes (Grenoble and Lyon)
5. ``Sintesi di circuiti logici non ridondanti e con un numero limitato di livelli'', (Luccio) Vigoni Program Pisa-Bremen
6. ``SMEPP - Secure Middleware for embedded Peer-to-Peer Systems'', (Brogi) EU
7. ``SENSORIA'', (Montanari) IST-FET-GC2 Integrated Project
8. ``MOPROSCO'', (Pelagatti) INRIA ARC, French Ministry of Research
9. ``Mathematical and algorithmical aspects of biochemical and evolutionary networks'', (Pisanti) ACI New Interfaces of Mathematics $\pi$-vert project, French Ministry of Research
10. ``Algorithms for Modelling and Inference Problems in Molecular Biology'', (Grossi) Programme Bioinformatique inter EPST 2002-2004, French Ministry of Research
11. ``Data compression and indexing in hierarchical memorie'', (Ferragina) Yahoo! Research Grant
12. ``PROFUNDIS - Formal modeling and Verification for Mobile Distributed Systems'', (Montanari) EU IST-FET European Project
13. ``AGILE - Architectures for Mobility'', (Corradini) EU
14. ``SEGRAVIS - Syntactic and Semantic Integration of Visual Modeling Techniques'', (Montanari) European RTN Network
15. ``WOMAN II'', (Starita) EU Project IST-2001-32672 in Health Telematics
16. ``BIOPATTERN'', (Starita) Network of Excellence, EU
17. ``GeoPKDD - Geographic Privacy-aware Knowledge Discovery and Delivery'', (Turini) EU-IST-6FP
18. ``BRITE - Business Register Interoperability Throughout Europe'', (Turini) EU-IST-6FP
19. ``MUSING - Multi-Industry, Semantic-based next generation business INtelliGence'', (Turini) EU-IST-6FP
20. ``ARGUGRID'', (Turini) EU-IST-6FP
21. ``CoreGRID'', (Danelutto) Network of Excellence, EU
22. ``GridCoord'', (Vanneschi) EU Special Support Action
23. ``GridComp'', (Danelutto) EU-STREP
24. ``BEinGRID'', (Vanneschi) EU-IP

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), and between the University of Pisa and the University of Cuzco (resp F. Luccio).

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