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

• ICLP'06, International Conference on Logic Programming

• LOPSTR'05, Logic-based  Program Synthesis and Transformation

• CILC'05, Convegno Italiano di Logic Computazionale

• Special Issue of Fundamenta Informaticae, Part 1.

• Special Issue of Fundamenta Informaticae, Part 2.

• Past events

• Alberto Pettorossi

• GULP: The Italian Association for Logic Programming

• Miscellanea

• How to contact me