FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Frédéric Herbreteau
Affiliation: Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR5800, F-33400 Talence, France
Web page: http://www.labri.fr/~herbrete/
Pages in this Program
LICS on Wednesday, August 3rd
LICS Program
Program
Program for Wednesday, August 3rd