FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Alwen Tiu
Organization: The Australian National University
Pages in this Program
All Proceedings Papers
CSF CSF Proceedings
CSF CSF Proceedings: Papers with Abstracts
CSF on Thursday, July 12th
CSF on Wednesday, July 11th
CSF Program
EICNCL on Thursday, July 19th
EICNCL Program
FM FMComplete
FM FMComplete: Papers with Abstracts
FM on Tuesday, July 17th
FM Program
GraMSec on Sunday, July 8th
GraMSec Program
LICS on Monday, July 9th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: A Permission-Dependent Type System for Secure Information Flow Analysis
Paper: Compositional Reasoning for Shared-variable Concurrent Programs
Paper: Quasi-Open Bisimilarity with Mismatch is Intuitionistic
Program
Program for Monday, July 9th
Program for Sunday, July 8th
Program for Thursday, July 12th
Program for Thursday, July 19th
Program for Tuesday, July 17th
Program for Wednesday, July 11th