Maurizio Proietti

Senior Researcher

Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti"
Consiglio Nazionale delle Ricerche

proietti at iasi cnr it

      RESEARCH

      EVENTS

      LINKS

     CONTACT

• Program Transformation

• Logic Programming

• Papers

• Talks

• MAP Transformation System

• Special Issue of Fundamenta Informaticae, Part 1. Part 2.

• Past events

• Alberto Pettorossi

• GULP: The Italian Association for Logic Programming

• Miscellanea

• How to contact me