maurizio's picture

Maurizio Proietti

Senior Researcher
Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti"
Consiglio Nazionale delle Ricerche
Via dei Taurini, 19, 00185 Roma, Italy
Phone: +39 06 4993 7114
Fax: +39 06 4993 7106
firstname dot familyname at iasi cnr  it

 

      RESEARCH

Papers

Talks

MAP Transformation System


 

      ACTIVITIES

The post-proceedings of LOPSTR 2014 (Springer LNCS Vol. 8981) are available here (free online access till May 22, 2015)

Editorial Board of Fundamenta Informaticae

Steering Committee of LOPSTR International Symposium on Logic-based Program Transformation and Synthesis.


POPL 2016: 43rd ACM Symposium on Principles of Programming Languages, 20 - 22 January, 2016, St. Petersburg, Florida, USA. (ERC Member)

HCVS 2015 Workshop on Horn Clauses for Verification and Synthesis, July 18, 2015, San Francisco, USA, in conjuction with CAV 2015. (PC Member)

CILC 2015 30th Italian Conference on Computational Logic, July 1-3, 2015, Genova, Italy. (PC Member)

ICLP 2015 31st International Conference on Logic Programming, Aug. 31 - Sept. 4, Cork, Ireland. (PC Member)

LOPSTR 2015 25th International Symposium on Logic-based Program Transformation and Synthesis, July 13-15, 2015, Siena, Italy. (PC Member)

LOPSTR 2014 24th International Symposium on Logic-based Program Transformation and Synthesis, Sept. 9-11, 2014, University of Kent, Canterbury, UK. (PC co-chair)

HCVS 2014 Workshop on Horn Clauses for Verification and Synthesis, July 17, 2014, Vienna, Austria, in conjunction with FLoC 2014. (PC Member)

ICTCS 2014 15th Italian Conference on Theoretical Computer Science, 17-19 Settembre 2014, Perugia. (PC Member)

CILC 2014 29-esimo Convegno Italiano di Logica Computazionale, 16-18 Giugno 2014, Torino. (PC Member)

CILC 2013 28-esimo Convegno Italiano di Logica Computazionale, 25 - 27 Settembre 2013, Catania. (PC Member)

POPL 2013: 40th ACM Symposium on Principles of Programming Languages, Rome, Italy, January 23-25, 2013.  (ERC Member)

NGEBIS 2012 Next Generation Enterprise and Business Innovation Systems: A workshop organised by the BIVEE Project, co-located with CAiSE 2012.  (PC Member)

ICLP 2011 27th International Conference on Logic Programming, Lexington, Kentucky, USA, July 6-10, 2011. (PC Member)

PEPM 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, January 24-25, 2011, Austin, Texas, USA. (PC Member)

Older activities


 

      LINKS

Alberto Pettorossi

Fabio Fioravanti

Valerio Senni

Emanuele De Angelis

Program Transformation

Association for Logic Programming

GULP: The Italian Association for Logic Programming