FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Afshari, Bahareh	Riding Modal Cycles
B
Baelde, David	Workshop introduction
Bahr, Patrick	What makes guarded types tick?
Brotherston, James	An Introduction to Cyclic Proofs An Introduction to Cyclic Proofs
Bruse, Florian	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
C
Cerna, David	Towards the Automatic Construction of Schematic Proofs
Cohen, Liron	Transitive Closure Logic: Infinitary and Cyclic Proof Systems
D
Das, Anupam	On the Logical Complexity of Cyclic Arithmetic
H
Hyvernat, Pierre	The size-change principle and circular proofs: checking totality of (co)recursive definitions
K
Komendantskaya, Ekaterina	Coinductive Uniform Proofs: An Extended Abstract (speaker: Yue LI)
L
Lange, Martin	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
Lettmann, Michael	Towards the Automatic Construction of Schematic Proofs
Li, Yue	Coinductive Uniform Proofs: An Extended Abstract (speaker: Yue LI)
Lozes, Etienne	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
M
Mannaa, Bassel	What makes guarded types tick?
Møgelberg, Rasmus Ejlers	What makes guarded types tick?
N
Nollet, Rémi	Local Validity for Circular Proofs in Linear Logic with Fixed Points
P
Pradic, Pierre	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (speaker: Pierre PRADIC)
R
Riba, Colin	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (speaker: Pierre PRADIC)
Rowe, Reuben	Transitive Closure Logic: Infinitary and Cyclic Proof Systems
S
Saurin, Alexis	Workshop introduction
Stratulat, Sorin	Useless Explicit Induction Reasoning

Disclaimer | Powered by EasyChair Smart Program