FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editor: Salvador Lucas

Authors	Title	Paper	Talk
Salvador Lucas	Presentation of the WST 2018 proceedings
Eric Hehner	Objective and Subjective Specifications		Jul 18 12:00
Guillaume Genestier and Frédéric Blanqui	Termination of Lambda-Pi modulo rewriting using the size-change principle		Jul 19 16:00
Jera Hensel, Florian Frohn and Jürgen Giesl	Complexity Analysis for Bitvector Programs		Jul 19 11:00
Alfons Geser, Dieter Hofbauer and Johannes Waldmann	Semantic Kachinuki Order		Jul 18 14:00
Nachum Dershowitz and Jean-Pierre Jouannaud	GPO: A Path Ordering for Graphs		Jul 18 11:30
Jose Divasón, Sebastiaan Joosten, René Thiemann and Akihisa Yamada	A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving		Jul 19 11:30
Jonas Schöpf and Christian Sternagel	TTT2 with Termination Templates for Teaching		Jul 19 15:00
Cristina David, Daniel Kroening and Peter Schrammel	Procedure-Modular Termination Analysis		Jul 18 11:00
Salvador Lucas	Well-founded models in proofs of termination		Jul 18 15:00
Aalok Thakkar, Balaji Krishnamurthy and Piyush Gupta	Verification of Rewriting-based Query Optimizers		Jul 19 14:30
Jesús J. Doménech, Samir Genaim and John P. Gallagher	Control-Flow Refinement via Partial Evaluation		Jul 19 14:00
Alicia Merayo Corcoba and Samir Genaim	Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations		Jul 19 12:00
Dieter Hofbauer	Embracing Infinity - Termination of String Rewriting by Almost Linear Weight Functions		Jul 18 14:30
Carsten Fuhs and Cynthia Kop	Improving Static Dependency Pairs for Higher-Order Rewriting		Jul 19 16:30

Disclaimer | Powered by EasyChair Smart Program