FLOC 2018: FEDERATED LOGIC CONFERENCE 2018