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

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

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

Salvador Lucas

                        WST 2018 - 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 Affine 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

Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.