FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
András Vörös
Organization: Budapest University of Technology and Economics
Web page: https://www.inf.mit.bme.hu/members/vorosa
Pages in this Program
AVOCS on Wednesday, July 18th
AVOCS Program
Program
Program for Wednesday, July 18th
Slides
Slides