FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Ugo Dal Lago
Organization: Università di Bologna & INRIA Sophia Antipolis
Web page: http://www.cs.unibo.it/~dallago
Pages in this Program
DCM on Sunday, July 8th
DCM Program
FSCD on Monday, July 9th
FSCD Program
GS on Sunday, July 8th
GS Program
LCC on Friday, July 13th
LCC Program
LICS on Wednesday, July 11th
LICS Program
LMW on Sunday, July 8th
LMW Program
Program
Program for Friday, July 13th
Program for Monday, July 9th
Program for Sunday, July 8th
Program for Wednesday, July 11th