FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Brigitte Pientka
Organization: McGill University
Web page: http://www.cs.mcgill.ca/~bpientka/
Pages in this Program
All Proceedings Papers
FSCD on Tuesday, July 10th
FSCD Presented Papers
FSCD Presented Papers: Papers with Abstracts
FSCD Program
LFMTP on Saturday, July 7th
LFMTP Program
LICS on Wednesday, July 11th
LICS Program
LMW on Sunday, July 8th
LMW Program
Paper: Index-Stratified Types
Program
Program for Saturday, July 7th
Program for Sunday, July 8th
Program for Tuesday, July 10th
Program for Wednesday, July 11th
WiL on Sunday, July 8th
WiL Program