FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Giselle Reis
Organization: Carnegie Mellon University
Web page: http://www.gisellereis.com/
Pages in this Program
All Proceedings Papers
LFMTP on Saturday, July 7th
LFMTP Program
LFMTP Regular papers
LFMTP Regular papers: Papers with Abstracts
Linearity/TLLA on Sunday, July 8th
Linearity/TLLA Pre-proceedings
Linearity/TLLA Pre-proceedings: Papers with Abstracts
Linearity/TLLA Program
Paper: Benchmarking Linear Logic Translations
Paper: Formalization of Automated Trading Systems in a Concurrent Linear Framework
Paper: Towards a Playground for Logicians
Program
Program for Saturday, July 7th
Program for Sunday, July 8th
WiL on Sunday, July 8th
WiL Program
WiL Short Papers and Abstracts
WiL Short Papers and Abstracts: Papers with Abstracts