FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Asta Halkjær From
Affiliation: Technical University of Denmark
Web page: https://people.compute.dtu.dk/ahfrom/
Pages in this Program
FOMEO on Sunday, July 31st
FOMEO Program
Isabelle on Thursday, August 11th
Isabelle Program
ITP on Tuesday, August 9th
ITP Program
Program
Program for Sunday, July 31st
Program for Thursday, August 11th
Program for Tuesday, August 9th