==========================
==========================
========================
WST 201=
8 - Call for Participation
16th International =
Workshop on Termination
=
part of FLoC 2018
July 18-19, 2018=
, Oxford, United Kingdom
=
http://wst2018.webs.upv.es/
==========================
==========================
========================
REGISTRATION (June 6th is the last day for early registration!)
http://www.floc2018.org/register/
INVITED SPEAKERS:
James Worrell - University of Oxford
"Termination Checking and Invariant Synthesis for Affin=
e Programs"
Akihisa Yamada - NII Japan
"Towards a Unified Method for Termination"
PROGRAMME (see also the list of accepted papers attached below):
https://easychair.org/smart-program/FLoC2018/WST-program.html
TERMINATION AND COMPLEXITY COMPETITION:
In 2018, the Termination and Complexity Competition (TERCOMP) will run
in parallel with FLoC 2018 as part of the FLoC Olympic Games.
The results of the competition will be presented and discussed during
a special session at WST 2018.
ACCEPTED PAPERS:
Eric Hehner.
Objective and Subjective Specifications.
Guillaume Genestier and Frédéric Blanqui.
Termination of Lambda-Pi modulo rewriting using the size-change principle
Jera Hensel, Florian Frohn and Jürgen Giesl.
Complexity Analysis for Bitvector Programs
Alfons Geser, Dieter Hofbauer and Johannes Waldmann.
Comparing on Strings: Semantic Kachinuki Order
Nachum Dershowitz and Jean-Pierre Jouannaud.
GPO: A Path Ordering for Graphs
Jose Divasón, Sebastiaan Joosten, René Thiemann and Akihisa Yamada.
A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving
Jonas Schöpf and Christian Sternagel.
TTT2 with Termination Templates for Teaching
Cristina David, Daniel Kroening and Peter Schrammel.
Procedure-Modular Termination Analysis
Salvador Lucas.
Well-founded models in proofs of termination
Aalok Thakkar, Balaji Krishnamurthy and Piyush Gupta.
Verification of Rewriting-based Query Optimizers
Jesús J. Doménech, Samir Genaim and John P. Gallagher.
Control-Flow Refinement via Partial Evaluation
Alicia Merayo Corcoba and Samir Genaim.
Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost =
Relations
Dieter Hofbauer.
Embracing Infinity - Termination of String Rewriting by Almost Linear =
Weight Functions
Carsten Fuhs and Cynthia Kop.
Improving Static Dependency Pairs for Higher-Order Rewriting
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Mo Jun 04 2018 - 15:37:57 CEST