FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Clare Dixon
Organization: University of Liverpool
Pages in this Program
6th Workshop on practical aspects of automated reasoning
All Proceedings Papers
AVOCS on Wednesday, July 18th
AVOCS Pre-proceedings
AVOCS Pre-proceedings: Papers with Abstracts
AVOCS Program
IJCAR on Sunday, July 15th
IJCAR Program
PAAR on Thursday, July 19th
PAAR papers
PAAR papers: Papers with Abstracts
PAAR Program
Paper: Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
Paper: Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems
Program
Program for Sunday, July 15th
Program for Thursday, July 19th
Program for Wednesday, July 18th
VaVAS on Thursday, July 19th
VaVAS on Wednesday, July 18th
VaVAS Proceedings
VaVAS Proceedings: Papers with Abstracts
VaVAS Program