Alberto Pettorossi Professor of Theoretical Computer Science

MAP  Research Center on  Advanced Programming Methodologies

Alberto Pettorossi Dipartimento di Ingegneria Civile e Ingegneria Informatica) (precedentemente: Dipartimento di Informatica, Sistemi e Produzione) Università  di Roma Tor Vergata Via del Politecnico 1 I-00133 Roma,  Italy Phone: +39 06 7259 7379 email:

c/o  Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti" Consiglio Nazionale delle Ricerche        Viale Manzoni 30         I-00185 Roma,  Italy Phone: +39 06 7716 427    Fax: +39 06 7716 461  email:

Research

Teaching

Colleagues:    Maurizio Proietti, etc.

Events

Associations

* Book in honor of Prof. Robert Paige (1947-1999)

* LopSTr 2011 21st International Symposium on Logic-based Program Synthesis and Transformation

Odense, Denmark, 18-20 July 2011.

* Fundamenta Informaticae Vol.105, No.1-2, 2010: Italian Conference on Computational Logic, CILC 2009

* PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program

Madrid, Spain, 18-19 January 2010.

* SOFSEM 2010 36th International Conference on Current Trends in Theory and Practice of Computer Science

Špindlerův Mlýn, Czech Republic, 23-29 January 2010. Track on: Principles of Software Construction.

* ICLP 2008 24th International Conference on Logic Programming Synthesis and Transformation

Udine, Italy, 9-13 December 2008.

* LopSTr 2008 18th International Symposium on Logic-based Program Synthesis and Transformation

Valencia, Spain, 17-18 July 2008.

* LopSTr 2007 17th International Symposium on Logic-based Program Synthesis and Transformation

Kongens Lyngby, Denmark, 22-24 August 2007.

* The Digital Evolution: Information, Intelligence, Ubiquity

European Meeting of University Professors, Rome, Italy, 22 June 2007

* Special Issues of FUNDAMENTA INFORMATICAE on Program Transformation:

Part I: 66 (4) 2005 Part II: 69 (1-2) 2006