Alberto Pettorossi  
 
Professor of
Theoretical Computer Science


 
 
 
 

MAP  Research Center on 
Advanced Programming Methodologies

 

Alberto Pettorossi
Dipartimento di Ingegneria Civile e Ingegneria Informatica)

(Previously: 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
       Via dei Taurini 19 (Previously: Viale Manzoni 30) 
       I-00185 Roma,  Italy
Phone: +39 06 4993 7155    Fax: +39 06 4993 7106 

email: 

 

 Research

 Teaching - Books

  

Colleagues:   
Maurizio Proietti,
etc.

Events

Associations

 

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

 

* AI*IA 2016, 15th International Conference of the Italian Association for Artificial Intelligence,

Genoa, Italy, 28 November - 1 December 2016.

 

* IJCRS 2016, Conference of the International RoughSet Society,

Santiago, Chile, 7-11 October 2016.

 

* CILC 2016, 31st Italian Conference on Computational Logic,

Milan, Italy, 20-22 June 2016.

 

* PPDP 2016, 18th International Symposium on Principles and Practice of Declarative Programming,

Edinburgh, United Kingdom, 5-7 September 2016.

 

* VPT 2015, 3rd International Workshop on Verification and Program Transformation,

London, United Kingdom, 11 April 2015.

 

* ICLP 2014, 30th International Conference on Logic Programming,

Vienna, Austria, 19-22 July 2014.

 

* CILC 2013 28th Italian Conference on Computational Logic

Catania, Italy, 25-27 September 2013.

 

* IFIP W.G. 2.1 Meeting on Algorithmic Languages and Calculi

Rome, Italy, 6-10 February 2012.

 

* 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