FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Nicolas Magaud
Affiliation: ICube UMR 7357 CNRS Université de Strasbourg
Web page: http://dpt-info.u-strasbg.fr/~magaud
Pages in this Program
ITP on Tuesday, August 9th
ITP Program
Program
Program for Tuesday, August 9th
Slides
Slides