FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Ross Horne
Organization: Nanyang Technological University
Web page: http://www.ntu.edu.sg/home/rhorne
Pages in this Program
All Proceedings Papers
GraMSec on Sunday, July 8th
GraMSec Program
LICS on Monday, July 9th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: Quasi-Open Bisimilarity with Mismatch is Intuitionistic
Paper: Truely Concurrent Processes in the Calculus of Structures
Program
Program for Monday, July 9th
Program for Saturday, July 7th
Program for Sunday, July 8th
TYDI on Saturday, July 7th
TYDI Program
TYDI-0 Abstracts
TYDI-0 Abstracts: Papers with Abstracts