WST 2018 - Call for Participation (July 18-19, 2018)

From: Salvador Lucas <>
Date: Mon, 4 Jun 2018 10:02:22 +0200


                        WST 201=
8 - Call for Participation
                    16th International =
Workshop on Termination
      part of FLoC 2018

                     July 18-19, 2018=
, Oxford, United Kingdom


REGISTRATION (June 6th is the last day for early registration!)


     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):


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.


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 =


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
Received on Mo Jun 04 2018 - 15:37:57 CEST

This archive was generated by hypermail 2.3.0 : Sa Dez 09 2023 - 07:15:15 CET