EU-US CPS Trustworthiness Event on December 11, 2017, in London

You are cordially invited to participate in the CPS Event Toward a Calculus for Logical Optimization of Trustworthy CPSs, jointly sponsored by Imperial College London and the US National Institute of Standards and Technology: Date:                    11 December 2017 Time:                    8:30am to 4:00pm Location:       Skempton Building, Room 064/a/b, Imperial College London, South Kensington Campus,…