FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Vlad Rusu
Affiliation: Inria Lille Nord Europe
Web page: http://researchers.lille.inria.fr/~rusu/
Pages in this Program
Program
Program for Sunday, July 31st
WPTE on Sunday, July 31st
WPTE Program