FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Assia Mahboubi
Organization: INRIA
Web page: http://specfun.inria.fr/mahboubi/
Pages in this Program
All Proceedings Papers
CAV on Saturday, July 14th
CAV Program
Coq Abstracts
Coq Abstracts: Papers with Abstracts
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 Papers
ITP Papers: Papers with Abstracts
ITP Program
Overture on Saturday, July 14th
Overture Program
Paper: Classical Analysis with Coq
Program
Program for Monday, July 9th
Program for Saturday, July 14th
Program for Sunday, July 8th
Program for Thursday, July 12th