FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Sarah Winkler
Organization: University of Innsbruck
Web page: http://cl-informatik.uibk.ac.at/members/swinkler/
Pages in this Program
FSCD on Wednesday, July 11th
FSCD Program
IJCAR on Tuesday, July 17th
IJCAR Program
IWC on Saturday, July 7th
IWC Program
Program
Program for Saturday, July 7th
Program for Thursday, July 19th
Program for Tuesday, July 17th
Program for Wednesday, July 11th
Slides
Slides
Slides
Slides
VSTTE on Thursday, July 19th
VSTTE Program