FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Ana de Almeida Borges
Affiliation: University of Barcelona
Web page: https://aborges.eu
Pages in this Program
ARQNL on Thursday, August 11th
ARQNL Program
Coq on Friday, August 12th
Coq Program
DECFOML on Sunday, July 31st
DECFOML Program
Program
Program for Friday, August 12th
Program for Sunday, July 31st
Program for Thursday, August 11th
Slides
Slides
Slides