• Sign in
  • Sign up
conf.researchr.org / Claudio Sacerdoti Coen
  • APLAS 2025 profile
  • ATVA 2025 profile
  • ECOOP 2026 profile
  • POPL 2016 profile
  • POPL 2026 profile

Not registered as user

Name:Claudio Sacerdoti Coen
Affiliation:University of Bologna

Contributions

2026

VeriLang

  • Committee Member in Program Committee within the VeriLang 2026-track
  • Committee Member in Organizing Committee within the VeriLang 2026-track

RocqPL

  • Author of The HOL-Light library of Multivariate real analysis in Rocq within the Rocq for Programming Languages 2026-track

2025

ATVA

  • Author of Positive Sharing and Abstract Machines within the APLAS Papers-track

APLAS

  • Author of Positive Sharing and Abstract Machines within the Research Papers-track

2016

CPP

  • Committee Member in Program Committee within the CPP-track
Share
xThu 23 Apr 02:00
using conf.researchr.org (v1.73.2)
Support page
Sign Up