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