FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Torsten Schaub
Affiliation: Universit├Ąt Potsdam, Potassco Solutions
Web page: http://www.cs.uni-potsdam.de/~torsten
Pages in this Program
ASPOCP on Sunday, July 31st
ASPOCP Program
Program
Program for Sunday, July 31st
Slides
Slides