FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Martin Strecker
Affiliation: Université de Toulouse
Web page: http://www.irit.fr/~Martin.Strecker/
Pages in this Program
GDE on Monday, August 1st
GDE Program
Program
Program for Monday, August 1st