Reynald Affeldt
Reynald Affeldt
Affiliation: National Institute of Advanced Industrial Science and Technology (AIST)
Talks
(RocqWS)
Towards Quantitative Logics in Rocq · Session 1
Pages in this Program
Program
Program on Saturday, 25 July 2026
RocqWS on Saturday, 25 July 2026
RocqWS Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑