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

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