FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Itziar Gonzalez-Dios
Organization: Ixa NPL Group-Universtity of the Basque Country
Pages in this Program
Program
Program for Friday, July 13th
Slides
Slides
Vampire on Friday, July 13th
Vampire Program