FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Assia Mahboubi
Organization: INRIA
Web page: http://specfun.inria.fr/mahboubi/
Pages in this Program
CAV on Saturday, July 14th
CAV Program
Coq on Sunday, July 8th
Coq Program
DS-FM on Saturday, July 14th
DS-FM Program
F-IDE on Saturday, July 14th
F-IDE Program
FLoC Program
ICLP on Saturday, July 14th
ICLP Program
IJCAR on Saturday, July 14th
IJCAR Program
ITP on Monday, July 9th
ITP on Thursday, July 12th
ITP Program
Overture on Saturday, July 14th
Overture Program
Program
Program for Monday, July 9th
Program for Saturday, July 14th
Program for Sunday, July 8th
Program for Thursday, July 12th
Slides
Slides