FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Nils Dallmeyer
Organization: Goethe-University
Pages in this Program
Program
Program for Sunday, July 8th
Slides
Slides
WPTE on Sunday, July 8th
WPTE Program