FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Manuel V. Hermenegildo
Affiliation: IMDEA Software Institute and Universidad Polit├ęcnica de Madrid
Web page: http://www.cliplab.org/herme
Pages in this Program
GDE on Monday, August 1st
GDE Program
Program
Program for Monday, August 1st
Slides
Slides