Ffrohn: /* Program Committee */

2026-02-23T09:23:53Z

Program Committee

Ffrohn: /* Important Dates */

2026-01-19T13:20:40Z

Important Dates

Ffrohn: Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop..."

2026-01-15T14:57:58Z

Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop..."

New page

July 25, 2026, Lisbon, Portugal.

As part of [https://www.floc26.org FLoC 2026] and
co-located with [https://www.floc26.org/ijcar IJCAR 2026].

==Background==

The Workshop on Termination (WST) traditionally brings together, in an
informal setting, researchers interested in all aspects of termination,
whether this interest be practical or theoretical, primary or derived.
The workshop also provides a ground for cross-fertilization of ideas from
the different communities interested in termination (e.g., working on
computational mechanisms, programming languages, software engineering,
constraint solving, etc.). The friendly atmosphere enables fruitful
exchanges leading to joint research and subsequent publications.

The 21st International Workshop on Termination (WST 2026) continues
the successful workshops held in
St. Andrews (1993),
La Bresse (1995),
Ede ([http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 1997]),
Dagstuhl ([http://verify.rwth-aachen.de/giesl/WST99.html 1999]),
Utrecht ([http://www.cs.tau.ac.il/~nachumd/wst/index.html 2001]),
Valencia ([http://users.dsic.upv.es/~rdp03/wst/ 2003]),
Aachen ([http://www-i2.informatik.rwth-aachen.de/WST04/ 2004]),
Seattle ([https://www.illc.uva.nl/LogicList/newsitem.php?id=1416 2006]),
Paris ([http://www.lsv.fr/Events/rdp07/wst.html 2007]),
Leipzig ([http://www.imn.htwk-leipzig.de/~waldmann/wst09/cfp/WST09_cfp.pdf 2009]),
Edinburgh ([http://www.floc-conference.org/WST-home.html 2010]),
Obergurgl ([http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 2012]),
Bertinoro ([http://www.imn.htwk-leipzig.de/WST2013/ 2013]),
Vienna ([http://easychair.org/smart-program/VSL2014/WST-index.html 2014]),
Obergurgl ([http://cl-informatik.uibk.ac.at/events/wst-2016/ 2016]),
Oxford ([http://wst2018.webs.upv.es/ 2018]),
virtually ([http://costa.fdi.ucm.es/wst2021/ 2021]),
Haifa ([https://sws.cs.ru.nl/WST2022 2022]),
Obergurgl ([https://termination-portal.org/wiki/19th_International_Workshop_on_Termination 2023]), and
Leipzig ([https://www.imn.htwk-leipzig.de/WST2025/ 2025]).

==Workshop Topics==

The 21st International Workshop on Termination welcomes contributions
on all aspects of termination. In particular, papers investigating applications
of termination (for example in complexity analysis, program analysis and
transformation, theorem proving, program correctness, modeling computational
systems, etc.) are very welcome.

Topics of interest include (but are not limited to):

* termination and complexity analysis in any domain (lambda calculus, declarative programming, rewriting, transition systems, probabilistic programs, etc.)
* abstraction methods in termination analysis
* certification of termination and complexity proofs
* challenging termination problems
* comparison and classification of termination methods
* implementation of termination and complexity methods
* non-termination analysis and loop detection
* normalization and infinitary normalization
* operational termination of logic-based systems
* ordinal notation and subrecursive hierarchies
* SAT, SMT, and constraint solving for (non-)termination analysis
* scalability and modularity of termination methods
* well-founded relations and well-quasi-orders

==Termination Competition==

Since 2003, the catalytic effect of WST to stimulate new research
on termination has been enhanced by the celebration of the [[Termination_Competition]]
and its continuously developing problem databases containing thousands of programs
as challenges for termination analysis in different categories.
In 2026, the Termination Competition will run live (in parallel to the FLoC workshops, on the 24th and 25th of July). 



==Submission Guidelines==

Submissions are short papers/extended abstracts which should not exceed 5 pages.
There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers
submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission.
The accepted papers will be made available electronically before the workshop.

Papers should be submitted electronically via
[https://submissions.floc26.org/wst/ the submission page].

Please use LaTeX and
[https://www.dagstuhl.de/en/publishing/series/details/LIPIcs the LIPIcs style file]
to prepare your submission.

==Important Dates==

TBA



==Program Committee==

TBA

@@ Line 236: / Line 236: @@
 ==Program Committee==
-<!--
+* Florian Frohn, RWTH Aachen University (co-chair)
-* [http://www-sop.inria.fr/members/Martin.Avanzini/ Martin Avanzini], INRIA Sophia Antipolis
+* Raúl Gutiérrez, Universitat Politècnica de València
-* [https://ffrohn.github.io/ Florian Frohn], RWTH Aachen
+* Dieter Hofbauer, ASW Saarland
-* [https://www.dcs.bbk.ac.uk/~carsten/ Carsten Fuhs], Birkbeck, U. London
+* Nils Lommen, RWTH Aachen University
-* [https://raulgut.github.io/ Raúl Gutiérrez], U. Politécnica de Madrid
+* Johannes Niederhauser, University of Innsbruck
-* [http://lim.univ-reunion.fr/staff/epayet/ Étienne Payet], U. La Réunion
+* Vincent van Oostrom, University of Sussex
-* [https://costa.fdi.ucm.es/~arubio/ Albert Rubio], Complutense U. Madrid
+* Étienne Payet, Université de La Réunion (co-chair)
-* [http://cl-informatik.uibk.ac.at/users/thiemann/ René Thiemann], U. Innsbruck
+* Hiroshi Unno, Tohoku University
-* [https://deividrvale.github.io/ Deivid Vale], Radboud U. Nijmegen
+* Wim Vanhoof, Université de Namur
-* [https://www.imn.htwk-leipzig.de/~waldmann/index.html Johannes Waldmann], HTWK Leipzig
+* Dragana Milovancevic, Imperial College London

@@ Line 227: / Line 227: @@
 ==Important Dates==
-TBA
+* title and abstract submission: 28th of April
+* paper submission: 5th of May
-<!--
+* notification: 26th of May
-* title and abstract submission: <s>June 1</s>
+* early registration deadline: 1st of June
-* paper submission: <s>June 8</s>
+* final version: 26th of June
-* notification: <s>June 15</s>
+* workshop: 25th of July
 ==Program Committee==

21st International Workshop on Termination - Revision history

Ffrohn: /* Program Committee */

Ffrohn: /* Important Dates */

Ffrohn: Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop..."