FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Alexander Lochmann
Affiliation: University of Innsbruck
Pages in this Program
IWC on Monday, August 1st
IWC Program
Program
Program for Monday, August 1st
Slides
Slides