FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Hans-Jörg Schurr
Affiliation: University of Lorraine, CNRS, Inria, and LORIA, Nancy, France
Web page: https://schurr.io
Pages in this Program
PAAR on Thursday, August 11th
PAAR Program
Program
Program for Thursday, August 11th