20th International Workshop on Termination (WST)

will take place at HTWK Leipzig September 3 - 4, 2025. Johannes Waldmann is the local organizer.

general information on Workshops on Termination.

The workshop will be joint (partially overlapping) with the 14th Intl. Workshop on Confluence (IWC), September 2 - 3.

WST Dates (tentative)

• submission: 25 June
• notification: 16 July
• early registration: 23 July
• final version: 6 August
• meeting: 3-4 September

WST Program Committee

Carsten Fuhs, Jürgen Giesl, Dieter Hofbauer (co-chair), Pierre Lescanne, Salvador Lucas, Aart Middeldorp, Johannes Waldmann (chair), Akihisa Yamada.

IWC + WST Local information

• workshop location: Gutenberg building on HTWK Leipzig campus
• city of Leipzig: tourist information
• travel information:
  • high speed (ICE) train connections to Leipzig Central (Hauptbahnhof) from Berlin (1 hour), Frankfurt (3 h), Munich (3 h)
  • from Leipzig Halle airport (LEJ) to Hauptbahnhof: 15 min by train
  • from city center/Hauptbahnhof to HTWK campus: 15 min by tram