FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Pierre Marquis
Affiliation: CRIL-CNRS/Université d’Artois
Web page: http://www.cril.fr/~marquis/
Pages in this Program
DL on Monday, August 8th
DL Program
NMR on Monday, August 8th
NMR Program
Program
Program for Monday, August 8th