• Sign in
  • Sign up
conf.researchr.org / Maurizio Proietti
  • ETAPS 2019 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • ‹Programming› 2019 profile
Maurizio Proietti

Registered user since Thu 25 Oct 2018

Name:Maurizio Proietti
Country:Italy
Affiliation:CNR-IASI
Personal website:http://www.iasi.cnr.it/~proietti/
Research interests:Programming languages, Verification, Constraints, Logic Programming

Contributions

VPT 2019 Author of Lemma Generation for Horn Clause Satisfiability: A Preliminary Study within the VPT 2019 -track
Committee Member in Program Committee within the VPT 2019 -track
PEPM 2019 Invited Speaker of Making Proofs Easy: Horn Clause Transformations to the Aid of Program Verification (Invited Talk) within the PEPM 2019-track
HCVS 2019 Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track
Session Chair of I (part of HCVS)
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee

Share
xThu 19 May 05:40
using conf.researchr.org (v1.55.6)
Support page
Sign Up