FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Tomasz Drab
Affiliation: University of Wrocław, Faculty of Mathematics and Computer Science
Web page: https://ii.uni.wroc.pl/~tdr/
Pages in this Program
ITP on Wednesday, August 10th
ITP Program
Program
Program for Wednesday, August 10th
Slides
Slides