FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Marie-Laure Mugnier
Affiliation: University of Montpellier (LIRMM / INRIA)
Web page: http://www.lirmm.fr/~mugnier/
Pages in this Program
DL on Monday, August 8th
DL Proceedings
DL Proceedings: Papers with Abstracts
DL Program
KR on Friday, August 5th
KR Program
NMR on Monday, August 8th
NMR Program
Program
Program for Friday, August 5th
Program for Monday, August 8th
Slides
Slides