FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Manfred Schmidt-Schauss
Affiliation: Inst. für Informatik, Goethe-University Frankfurt am Main
Web page: http://www2.ki.informatik.uni-frankfurt.de
Pages in this Program
FSCD on Tuesday, August 2nd
FSCD Program
Program
Program for Friday, August 12th
Program for Sunday, July 31st
Program for Tuesday, August 2nd
Slides
Slides
Slides
UNIF on Friday, August 12th
UNIF Program
WPTE on Sunday, July 31st
WPTE Program