|
Alberto Pettorossi |
|
Alberto Pettorossi (precedentemente: Dipartimento di
Informatica, Sistemi e Produzione) email: |
email: |
|
|
|
* 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: |