Research
back-to-Alberto Pettorossi

1. MAP  Research Center on "Advanced Programming Methodologies"

2. Program Transformation

3. Research  Papers and

Papers on Epistemology and Artificial Intelligence

4. Talks

5. The Map System

6. Logic Programming

7. Special Issues of FUNDAMENTA INFORMATICAE on Program Transformations
Part I:  Vol. 66, No. 4 April-May 2005
Part II: Vol. 69, Nos. 1-2 Winter 2005-2006

8. Errata-Corrige of BIT Paper (1985)

Old Research Projects
· Galileo Project with ENS, Cachan,   France (http://www.crui.it/)
· Sistemi formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software (details)
 ========================================================================