FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Prakash Panangaden
Organization: McGill University
Web page: http://www.cs.mcgill.ca/~prakash/
Pages in this Program
All Proceedings Papers
CSF on Monday, July 9th
CSF Program
FLoC Program
FSCD on Monday, July 9th
FSCD Program
ITP on Monday, July 9th
ITP Program
LICS on Monday, July 9th
LICS on Thursday, July 12th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: An algebraic theory of Markov processes
Paper: Boolean-Valued Semantics for Stochastic Lambda-Calculus
Program
Program for Monday, July 9th
Program for Thursday, July 12th
SAT on Monday, July 9th
SAT Program