FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Jan Wielemaker
Affiliation: Vrije Universiteit Amsterdam
Web page: http://www.cs.vu.nl/~janw/
Pages in this Program
GDE on Monday, August 1st
GDE Program
Program
Program for Monday, August 1st