FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Program Committee

Laura Kovacs (TU Wien), chair

Andrei Voronkov (U. of Manchester, TU Wien and EasyChair), chair