FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Alves, Sandra	A Unifying Framework for Type Inhabitation (PDF, talk)
Andrianarivelo, Nirina	Confluence of Prefix-Constrained Rewrite Systems (PDF, talk)
Aoto, Takahito	Confluence Competition 2018 (PDF)
Ayala-Rincon, Mauricio	Fixed-Point Constraints for Nominal Equational Unification (PDF, talk)
B
Bahr, Patrick	Strict Ideal Completions of the Lambda Calculus (PDF, talk)
Baumgartner, Alexander	Term-Graph Anti-Unification (PDF, talk)
Bellin, Gianluigi	Proof nets for bi-intuitionistic linear logic (PDF, talk)
Bendkowski, Maciej	Counting Environments and Closures (PDF, talk)
Broda, Sabine	A Unifying Framework for Type Inhabitation (PDF, talk)
C
Cerna, David	Higher-Order Equational Pattern Anti-Unification (PDF, talk)
Czajka, Łukasz	Term rewriting characterisation of LOGSPACE for finite and infinite data (PDF, talk)
D
de Felice, Giovanni	A diagrammatic axiomatisation of fermionic quantum circuits (PDF, talk)
Delaune, Stéphanie	Analysing privacy-type properties in cryptographic protocols (PDF)
E
Endrullis, Joerg	Decreasing diagrams with two labels are complete for confluence of countable systems (PDF, talk)
F
Fernandez, Maribel	Fixed-Point Constraints for Nominal Equational Unification (PDF, talk)
Forest, Simon	Coherence of Gray categories via rewriting (PDF, talk)
G
Genet, Thomas	Completeness of Tree Automata Completion (PDF, talk)
H
Hadzihasanovic, Amar	A diagrammatic axiomatisation of fermionic quantum circuits (PDF, talk)
Hamana, Makoto	Confluence Competition 2018 (PDF)
Heijltjes, Willem	Proof nets for bi-intuitionistic linear logic (PDF, talk)
Hirokawa, Nao	Confluence Competition 2018 (PDF)
I
Ikebuchi, Mirai	On repetitive right application of B-terms (PDF, talk)
J
Jacob-Rao, Rohan	Index-Stratified Types (PDF, talk)
K
Kaposi, Ambrus	A Syntax for Higher Inductive-Inductive Types (PDF, talk)
Klop, Jan Willem	Decreasing diagrams with two labels are complete for confluence of countable systems (PDF, talk)
Kohl, Christina	ProTeM: A Proof Term Manipulator (PDF, talk)
Kovács, András	A Syntax for Higher Inductive-Inductive Types (PDF, talk)
Kutsia, Temur	Term-Graph Anti-Unification (PDF, talk) Higher-Order Equational Pattern Anti-Unification (PDF, talk)
L
Lemay, Jean-Simon	Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories (PDF, talk)
Lescanne, Pierre	Counting Environments and Closures (PDF, talk)
Levy, Jordi	Term-Graph Anti-Unification (PDF, talk)
Licata, Daniel R.	Internal Universes in Models of Homotopy Type Theory (PDF, talk) Call-by-name Gradual Type Theory (PDF, talk)
M
Maeda, Yuya	Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (PDF, talk)
Mannaa, Bassel	The clocks they are adjunctions. Denotational semantics for Clocked Type Theory (PDF, talk)
Middeldorp, Aart	Completion for Logically Constrained Rewriting (PDF, talk) ProTeM: A Proof Term Manipulator (PDF, talk) Confluence Competition 2018 (PDF)
Mimram, Samuel	Coherence of Gray categories via rewriting (PDF, talk)
Møgelberg, Rasmus	The clocks they are adjunctions. Denotational semantics for Clocked Type Theory (PDF, talk)
N
Nagele, Julian	Confluence Competition 2018 (PDF)
Nakano, Keisuke	On repetitive right application of B-terms (PDF, talk)
Nantes-Sobrinho, Daniele	Fixed-Point Constraints for Nominal Equational Unification (PDF, talk)
New, Max	Call-by-name Gradual Type Theory (PDF, talk)
Ng, Kang Feng	A diagrammatic axiomatisation of fermionic quantum circuits (PDF, talk)
Nguyễn, Lê Thành Dũng	Unique perfect matchings and proof nets (PDF, talk)
Nishida, Naoki	Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (PDF, talk)
Nishida, Naoki	Confluence Competition 2018 (PDF)
O
Orton, Ian	Internal Universes in Models of Homotopy Type Theory (PDF, talk)
Overbeek, Roy	Decreasing diagrams with two labels are complete for confluence of countable systems (PDF, talk)
P
Parys, Paweł	Homogeneity without Loss of Generality (PDF, talk)
Pientka, Brigitte	Index-Stratified Types (PDF, talk)
Pitts, Andrew M.	Internal Universes in Models of Homotopy Type Theory (PDF, talk)
R
Rety, Pierre	Confluence of Prefix-Constrained Rewrite Systems (PDF, talk)
Rosu, Grigore	Formal Design, Implementation and Verification of Blockchain Languages (PDF)
S
Sabel, David	Nominal Unification with Atom and Context Variables (PDF, talk)
Schmidt-Schauss, Manfred	Nominal Unification with Atom and Context Variables (PDF, talk)
Selinger, Peter	Challenges in quantum programming languages (PDF)
Shintani, Kiraku	Confluence Competition 2018 (PDF)
Sozeau, Matthieu	Cumulative Inductive Types in Coq (PDF, talk)
Spitters, Bas	Internal Universes in Models of Homotopy Type Theory (PDF, talk)
T
Thibodeau, David	Index-Stratified Types (PDF, talk)
Timany, Amin	Cumulative Inductive Types in Coq (PDF, talk)
V
Vignudelli, Valeria	Proof techniques for program equivalence in probabilistic higher-order languages (PDF)
Villaret, Mateu	Term-Graph Anti-Unification (PDF, talk)
W
Winkler, Sarah	Completion for Logically Constrained Rewriting (PDF, talk)
Z
Zankl, Harald	Confluence Competition 2018 (PDF)

Disclaimer | Powered by EasyChair Smart Program