Alberto Pettorossi  

''Docente d'onore''
Professor of
Theoretical Computer Science

MAP  Research Center on 
Advanced Programming Methodologies

Alberto Pettorossi
Room D1-15
Dipartimento di Ingegneria Civile e Ingegneria Informatica
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  
       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)

* IJCRS 2024 International Joint Conference on Rough Sets 2024

May 17 - May 20, 2024, Halifax, Nova Scotia, Canada.

* LOPSTR 2023 33rd International Symposium on Logic-based Program Synthesis and Transformation 2023

October 23 - 24, 2023, Cascais, Lisbon, Portugal.

* IJCRS 2020 International Joint Conference on Rough Sets 2020

June 29 - July 3, 2020, La Habana, Cuba.

* IJCRS 2019 International Joint Conference on Rough Sets 2019

June 17-21, 2019, Debrecen, Hungary.

* PSI 2019 A. P. Ershov Informatics Conference

July 2-5, 2019, Novosibirsk, Akademgorodok, Russia.

* PEPM 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal.

* LopSTr 2018 28st International Symposium on Logic-based Program Synthesis and Transformation

Frankfurt am Main, Germany, 3-6 September, 2018.

* IJCRS 2018 International Joint Conference on Rough Sets,

Quy Nhon, Viet Nam, 20-24 August, 2018.

* CILC 2017, 32nd Italian Conference on Computational Logic,

Naples, Italy, 26-29 September 2017.

* IJCRS 2017, International Joint Conference on Rough Sets,

Olsztyn, Poland, 3-7 July 2017.

* 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.

* 13th International Symposium of University Professors. Jubilee of University Professors.

Workshop on "Technologies for Knowledge". University of Roma Tre, Room 6,

Via Ostiense 159, Roma (Italy), 8 September 2016.

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

Edinburgh, United Kingdom, 5-7 September 2016.

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

Milan, Italy, 20-22 June 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