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

Editorial Board of Fundamenta Informaticae

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

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

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

LOPSTR 2014 24th International Symposium on Logic-based Program Transformation and Synthesis, Sept. 10-11, 2014, University of Kent, Canterbury, UK.

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

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

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

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

POPL'13: 40th ACM Symposium on Principles of Programming Languages, Rome, Italy, January 23-25, 2013.

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

ICLP'11 27th International Conference on Logic Programming, Lexington, Kentucky, USA, July 6-10, 2011.

PEPM'11 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, January 24-25, 2011, Austin, Texas, USA.

Past activities

 

      LINKS

Alberto Pettorossi

Fabio Fioravanti

Valerio Senni

Emanuele De Angelis

Program Transformation

Association for Logic Programming

GULP: The Italian Association for Logic Programming

Miscellanea