Maurizio Proietti -

Registered user since Thu 25 Oct 2018

Name:Maurizio Proietti

Country:Italy

Affiliation:IASI-CNR

Personal website: http://www.iasi.cnr.it/~proietti/

Research interests:Programming languages, Verification, Constraints, Logic Programming

Contributions

2024

PEPM

Author of A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) within the PEPM 2024-track

2023

Symposium on Practical Aspects of Declarative Languages

Author of Multiple Query Satisfiability of Constrained Horn Clauses within the PADL 2023-track

LOPSTR

2019

HCVS

VPT

PEPM

Invited Speaker of Making Proofs Easy: Horn Clause Transformations to the Aid of Program Verification (Invited Talk) within the PEPM 2019-track

2016

POPL