FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Aart Middeldorp
Organization: University of Innsbruck
Web page: http://cl-informatik.uibk.ac.at/~ami/
Pages in this Program
FSCD on Thursday, July 12th
FSCD on Wednesday, July 11th
FSCD Program
IFIP WG 1.6 on Sunday, July 8th
IFIP WG 1.6 Program
IJCAR on Tuesday, July 17th
IJCAR Program
IWC on Saturday, July 7th
IWC Program
Program
Program for Saturday, July 7th
Program for Sunday, July 8th
Program for Thursday, July 12th
Program for Thursday, July 19th
Program for Tuesday, July 17th
Program for Wednesday, July 11th
Program for Wednesday, July 18th
Slides
Slides
Slides
Slides
WST on Thursday, July 19th
WST on Wednesday, July 18th
WST Program