FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Stefan Ratschan
Affiliation: Academy of Sciences of the Czech Republic
Web page: http://www.cs.cas.cz/~ratschan
Pages in this Program
Program
Program for Friday, August 12th
SC^2 on Friday, August 12th
SC^2 Program