FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Michael Fisher
Organization: University of Liverpool
Web page: http://www.csc.liv.ac.uk/~michael
Pages in this Program
All Proceedings Papers
AVOCS on Wednesday, July 18th
AVOCS Pre-proceedings
AVOCS Pre-proceedings: Papers with Abstracts
AVOCS Program
Paper: Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems
Paper: Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
Program
Program for Thursday, July 19th
Program for Wednesday, July 18th
ReMOTE on Thursday, July 19th
ReMOTE Program
VaVAS on Wednesday, July 18th
VaVAS Proceedings
VaVAS Proceedings: Papers with Abstracts
VaVAS Program