FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Florent Madelaine
Organization: Université Clermont Auvergne, Limos CNRS (UMR 6158)
Pages in this Program
LICS on Wednesday, July 11th
LICS Program
Program
Program for Wednesday, July 11th