FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Francois Schwarzentruber
Affiliation: École normale supérieure de Rennes
Web page: http://people.irisa.fr/Francois.Schwarzentruber/
Pages in this Program
FOMEO on Sunday, July 31st
FOMEO Program
KR on Thursday, August 4th
KR on Wednesday, August 3rd
KR Program
Program
Program for Sunday, July 31st
Program for Thursday, August 4th
Program for Wednesday, August 3rd
Slides
Slides