• Sign in
  • Sign up
conf.researchr.org / Reynald Affeldt
  • ICFP 2023 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2021 profile
  • POPL 2023 profile
Reynald Affeldt

Registered user since Sat 19 Nov 2016

Name:Reynald Affeldt
Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan
Personal website:https://staff.aist.go.jp/reynald.affeldt/

Contributions

TyDe 2023 Committee Member in Program Committee within the TyDe 2023-track
CPP 2023 Committee Member in Program Committee within the CPP 2023-track
Author of Semantics of Probabilistic Programs using S-Finite Kernels in Coq within the CPP 2023-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
CoqPL 2021 Committee Member in Program Committee within the CoqPL-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
CPP 2017 Author of Formal foundations of 3D geometry for modeling robot manipulators within the CPP-track
Committee Member in Program Committee within the CPP-track

Share
xTue 28 Mar 14:28
using conf.researchr.org (v1.60.0)
Support page
Sign Up