FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Yngve Lamo
Affiliation: Western Norway University of Applied Sciences
Web page: http://www.hvl.no
Pages in this Program
Program
Program for Monday, August 1st
Slides
Slides
TERMGRAPH on Monday, August 1st
TERMGRAPH Program