Jump to content

Main menu

Main menu

Navigation

Home
News
People
Tools
References
Categories

resources

Workshop on Termination
Termination Problems Data Base
Termination Competition
Termination Tools Mailing List

Termination-Portal.org

Appearance

Request account
Log in

Personal tools

Request account
Log in

21st International Workshop on Termination: Revision history

Page
Discussion

English

Read
View source
View history

Tools

Tools

Actions

Read
View source
View history

General

What links here
Related changes
Atom
Special pages
Page information

Appearance

View logs for this page

Filter revisionsExpandCollapse

To date:

Tag filter:

Invert selection

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

16 July 2026

curprev 07:2007:20, 16 July 2026 Ffrohn talk contribs 11,218 bytes +51 No edit summary

16 June 2026

curprev 13:3613:36, 16 June 2026 Ffrohn talk contribs 11,167 bytes +46 No edit summary

23 February 2026

curprev 09:2309:23, 23 February 2026 Ffrohn talk contribs 11,121 bytes −337 →Program Committee

19 January 2026

curprev 13:2013:20, 19 January 2026 Ffrohn talk contribs 11,458 bytes +21 →Important Dates

15 January 2026

curprev 14:5714:57, 15 January 2026 Ffrohn talk contribs 11,437 bytes +11,437 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..."

Retrieved from "http://termination-portal.org/wiki/21st_International_Workshop_on_Termination"

About Termination-Portal.org (Impressum)