FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Alexis Saurin, David Baelde and Radu Calinescu

Authors	Title	Paper	Talk
Patrick Bahr, Bassel Mannaa and Rasmus Ejlers Møgelberg	What makes guarded types tick?		Jul 07 17:15
Florian Bruse, Martin Lange and Etienne Lozes	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic		Jul 07 11:45
David Cerna and Michael Lettmann	Towards the Automatic Construction of Schematic Proofs		Jul 07 14:45
Anupam Das	On the logical complexity of cyclic arithmetic		Jul 08 16:45
Yue Li and Ekaterina Komendantskaya	Coinductive Uniform Proofs: An Extended Abstract		Jul 08 11:45
Rémi Nollet	Local validity for circular proofs in linear logic with fixed points		Jul 07 11:00
Colin Riba and Pierre Pradic	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic		Jul 08 11:00
Reuben Rowe and Liron Cohen	Transitive Closure Logic: Infinitary and Cyclic Proof Systems		Jul 08 16:00
Sorin Stratulat	Useless Explicit Induction Reasoning		Jul 07 14:00

Disclaimer | Powered by EasyChair Smart Program