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 proceedings of VPT 2017 (ETAPS Workshop on Verification and Program Transformation) are available here

Special issue of Formal Aspects of Computing on Logic-based Program Synthesis and Transformation (LOPSTR 2014).

The proceedings of LOPSTR 2014 (Springer LNCS Vol. 8981) are available here

Editorial Board of Fundamenta Informaticae

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


AITM 2019: 17th International Conference on Advanced Information Technologies for Management, affiliated with the Federated Conference on Computer Science and Information Systems, FedCCIS (PC Member)

PQ 2019: 4th International Workshop on Process Querying, Vienna, Austria, September 2nd, 2019, to be held in conjunction with BPM 2019 (PC Member)

CILC 2019: 34th Italian Conference on Computational Logic, Trieste, Italy, 19-21 June 2019 (PC Member)

VPT 2019: 7th International Workshop on Verification and Program Transformation, April 2nd, 2019, Genova, Italy, Co-Located with Programming 2019 (PC Member)

PEPM 2019: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,Cascais, Portugal, January 14-15, 2019, co-located with POPL 2019 (Invited Talk)

CILC 2018: 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018 (PC Member)

AITM 2018: 16th International Conference on Advanced Information Technologies for Management, affiliated with the Federated Conference on Computer Science and Information Systems, FedCCIS (PC Member)

HCVS 2018: 5th International Workshop on Horn Clauses for Verification and Synthesis, 13 July 2018, Oxford, UK, affiliated with CAV, ICLP and IJCAR at FLoC 2018 (PC Member)

VPT 2018: 6th International Workshop on Verification and Program Transformation, April 21st, 2018, Thessaloniki, Greece, Co-Located with ETAPS 2018 (PC Member)

HCVS 2017: 4th Workshop on Horn Clauses for Verification and Synthesis, Gothenburg, Sweden, August 7, 2017, affiliated with CADE-26 (PC Member)

Didamatica 2017: 31esima Conferenza Nazionale su Didattica e Informatica, CNR, Roma, 15-16 Maggio 2017 (PC Member)

VPT 2017: 5th International Workshop on Verification and Program Transformation, April 29, 2017, Uppsala, Sweden, co-located with the ETAPS 2017 (PC Co-Chair)

HCVS 2016: 3rd International Workshop on Horn Clauses for Verification and Synthesis, April 3, 2016, Eindhoven, The Netherlands, in conjuction with ETAPS 2016. (Invited Speaker)

CILC 2016: 31st Italian Conference on Computational Logic, University of Milano-Bicocca, June 20-22, Italy  (PC Member)

VPT 2016: 4th International Workshop on Verification and Program Transformation, April 2, 2016, Eindhoven, The Netherlands, co-located with the 19th ETAPS (PC Member)

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