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: GoogleScholar, DBLP, CiteSeer, ACM. (old page)

Talks

MAP Transformation System

 

      ACTIVITIES

Program co-chair of CILC 2024 - 39th Italian Conference on Computational Logic, National Research Council (CNR), Rome, 26-28 June 2024.

Editorial Board of Fundamenta Informaticae

Chair of the Steering Committee of LOPSTR (International Symposium on Logic-based Program Transformation and Synthesis).


CILC 2022: 37th Italian Conference on Computational Logic, 29 June – 1 July, 2022, Bologna, Italy (PC Member).

HCVS 2022: 9th International Workshop on Horn Clauses for Verification and Synthesis, April 3nd, 2022, Munich, Germany, Co-Located with ETAPS 2022 (PC co-chair) Proceedings

VPT 2022: 10th International Workshop on Verification and Program Transformation, April 2nd, 2022, Munich, Germany, Co-Located with ETAPS 2022 (PC Member)

PQMI 2021: Sixth International Workshop on Process Querying, Manipulation, and Intelligence, held in conjunction with the 3rd Int. Conference on Process Mining, ICPM 2021 (PC Member).

CILC 2021: 36th Italian Conference on Computational Logic, September 7th-9th, 2021, Parma, Italy (PC Member).

PQMI 2020: Fifth International Workshop on Process Querying, Manipulation, and Intelligence, held in conjunction with the 2nd Int. Conference on Process Mining, ICPM 2020 (PC Member).

CILC 2020: 35th Italian Conference on Computational Logic, September, 24-25th, 2020, Rende, Cosenza, Italy (PC Member)

VPT 2020: 9th International Workshop on Verification and Program Transformation, April 25-26th, 2020, Dublin, Ireland, In honor of Alberto Pettorossi, Co-Located with ETAPS 2020 (PC Member)

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, 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). The proceedings are available here

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) Proceedings: Springer LNCS Vol. 8981.
Special issue of Formal Aspects of Computing.

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