FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: Giselle Reis and Frédéric Blanqui

Authors	Title	Paper	Talk
Kuen-Bang Hou	Cubical Computational Type Theory and RedPRL
Delia Kesner	A fresh view of call-by-need
Grigore Rosu	Why and How Does K work? The Logical Infrastructure Behind It
Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou Favonia, Robert Harper and Jonathan Sterling	The RedPRL Proof Assistant
Martin Copes, Nora Szasz and Alvaro Tasistro	Formalization in Constructive Type Theory of the Standardization Theorem		Jul 07 14:00
Ernesto Copello, Nora Szasz and Alvaro Tasistro	Formalisation of Barendregt's Variable Convention for Generic Structures with Binders		Jul 07 14:30
François Thiré	Sharing a library between proof assistants: reaching out to the HOL family		Jul 07 10:00
Rodolphe Lepigre and Christophe Raffalli	Abstract Representation of Binders in OCaml using the Bindlib Library		Jul 07 17:00
Ulysse Gérard and Dale Miller	Functional programming with λ-tree syntax: a progress report		Jul 07 17:30
Kaustuv Chaudhuri, Ulysse Gérard and Dale Miller	Computation-as-deduction in Abella: work in progress		Jul 07 12:00
Francesco Komauli and Alberto Momigliano	Property-Based Testing of Abstract Machines: an Experience Report		Jul 07 12:20
David Feller, Joe Wells, Sébastien Carlier and Fairouz Kamareddine	What Does This Notation Mean Anyway? BNF-Style Notation as it is actually used		Jul 07 15:00

Disclaimer | Powered by EasyChair Smart Program