FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Ákos Hajdu
Organization: Budapest University of Technology and Economics
Web page: http://inf.mit.bme.hu/en/members/hajdua
Pages in this Program
AVOCS on Wednesday, July 18th
AVOCS Program
Program
Program for Wednesday, July 18th
Slides
Slides