FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Glynn Winskel
Organization: University of Cambridge
Web page: http://www.cl.cam.ac.uk
Pages in this Program
All Proceedings Papers
Domains13 on Saturday, July 7th
Domains13 Program
GS on Sunday, July 8th
GS Program
LICS on Tuesday, July 10th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: The concurrent game semantics of Probabilistic PCF
Program
Program for Saturday, July 7th
Program for Sunday, July 8th
Program for Tuesday, July 10th