Difference between revisions of "WST"
From Termination-Portal.org
Jump to navigationJump to search (Added links of affiliated events; corrected broken links) |
m |
||
| Line 5: | Line 5: | ||
Previous workshops: | Previous workshops: | ||
| − | * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination] | + | * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination] joint with [https://iwc2025.github.io/ IWC 2025], Leipzig, Germany, September 3-4, 2025 ([[Media:proc_WST_2025.pdf|proceedings]]) |
* [[19th International Workshop on Termination]] at [https://web.archive.org/web/20251122230652/http://cl-informatik.uibk.ac.at/events/osr-2023/ Obergurgl Summer on Rewriting 2023], Obergurgl, Austria, August 24-25, 2023 ([[Media:proc_WST_2023.pdf|proceedings]]) | * [[19th International Workshop on Termination]] at [https://web.archive.org/web/20251122230652/http://cl-informatik.uibk.ac.at/events/osr-2023/ Obergurgl Summer on Rewriting 2023], Obergurgl, Austria, August 24-25, 2023 ([[Media:proc_WST_2023.pdf|proceedings]]) | ||
* [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] at [https://web.archive.org/web/20230331080948/https://www.floc2022.org/ FLoC 2022], Haifa, Israel, August 11-12, 2022 ([[Media:proc_WST_2022.pdf|proceedings]]) | * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] at [https://web.archive.org/web/20230331080948/https://www.floc2022.org/ FLoC 2022], Haifa, Israel, August 11-12, 2022 ([[Media:proc_WST_2022.pdf|proceedings]]) | ||
| Line 11: | Line 11: | ||
* [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] at [http://www.floc2018.org/ FLoC 2018], Oxford, United Kingdom, July 18-19, 2018 ([[Media:proc_WST_2018.pdf|proceedings]]) | * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] at [http://www.floc2018.org/ FLoC 2018], Oxford, United Kingdom, July 18-19, 2018 ([[Media:proc_WST_2018.pdf|proceedings]]) | ||
* [https://web.archive.org/web/20240719022629/http://cl-informatik.uibk.ac.at/events/wst-2016/ 15th International Workshop on Termination] at [https://web.archive.org/web/20250211175401/http://cl-informatik.uibk.ac.at/events/cla-2016/ Computational Logic in the Alps 2016], Obergurgl, Austria, September 5-7, 2016 ([[Media:proc_WST_2016.pdf|proceedings]]) | * [https://web.archive.org/web/20240719022629/http://cl-informatik.uibk.ac.at/events/wst-2016/ 15th International Workshop on Termination] at [https://web.archive.org/web/20250211175401/http://cl-informatik.uibk.ac.at/events/cla-2016/ Computational Logic in the Alps 2016], Obergurgl, Austria, September 5-7, 2016 ([[Media:proc_WST_2016.pdf|proceedings]]) | ||
| − | * [https://easychair.org/smart-program/VSL2014/WST-index.html 14th International Workshop on Termination] | + | * [https://easychair.org/smart-program/VSL2014/WST-index.html 14th International Workshop on Termination] at [http://vsl2014.at/ Vienna Summer of Logic], Vienna, Austria, July 17-18, 2014 ([[Media:proc_WST_2014.pdf|proceedings]]) |
* [https://web.archive.org/web/20140505184545/https://www.imn.htwk-leipzig.de/WST2013/ 13th International Workshop on Termination] joint with [https://web.archive.org/web/20190907225337/http://fopara2013.cs.unibo.it/ FOPARA], Bertinoro, Italy, August 29-31, 2013 ([[Media:proc_WST_2013.pdf|proceedings]]) | * [https://web.archive.org/web/20140505184545/https://www.imn.htwk-leipzig.de/WST2013/ 13th International Workshop on Termination] joint with [https://web.archive.org/web/20190907225337/http://fopara2013.cs.unibo.it/ FOPARA], Bertinoro, Italy, August 29-31, 2013 ([[Media:proc_WST_2013.pdf|proceedings]]) | ||
* [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination], Obergurgl, Austria, February 19-23, 2012 ([[Media:proc_WST_2012.pdf|proceedings]]) | * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination], Obergurgl, Austria, February 19-23, 2012 ([[Media:proc_WST_2012.pdf|proceedings]]) | ||
Revision as of 14:40, 13 March 2026
The International Workshop on Termination (WST) 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-fertilisation of ideas from term rewriting and from the different programming language communities.
Upcoming events:
- 21st International Workshop on Termination at FLoC 2026, Lisbon, Portugal, July 25, 2026
Previous workshops:
- 20th International Workshop on Termination joint with IWC 2025, Leipzig, Germany, September 3-4, 2025 (proceedings)
- 19th International Workshop on Termination at Obergurgl Summer on Rewriting 2023, Obergurgl, Austria, August 24-25, 2023 (proceedings)
- 18th International Workshop on Termination at FLoC 2022, Haifa, Israel, August 11-12, 2022 (proceedings)
- 17th International Workshop on Termination virtual at CADE 2021, Paris, France, July 16, 2021 (proceedings)
- 16th International Workshop on Termination at FLoC 2018, Oxford, United Kingdom, July 18-19, 2018 (proceedings)
- 15th International Workshop on Termination at Computational Logic in the Alps 2016, Obergurgl, Austria, September 5-7, 2016 (proceedings)
- 14th International Workshop on Termination at Vienna Summer of Logic, Vienna, Austria, July 17-18, 2014 (proceedings)
- 13th International Workshop on Termination joint with FOPARA, Bertinoro, Italy, August 29-31, 2013 (proceedings)
- 12th International Workshop on Termination, Obergurgl, Austria, February 19-23, 2012 (proceedings)
- 11th International Workshop on Termination at FLoC 2010, Edinburgh, United Kingdom, July 14-15, 2010 (proceedings)
- 10th International Workshop on Termination, Leipzig, Germany, June 3-5, 2009 (proceedings)
- 9th International Workshop on Termination at RDP 2007, Paris, France, June 29, 2007 (proceedings)
- 8th International Workshop on Termination at FLoC 2006, Seattle, WA, USA, August 15-16, 2006 (proceedings)
- 7th International Workshop on Termination at RDP 2004, Aachen, Germany, June 1-2, 2004 (proceedings)
- 6th International Workshop on Termination at RDP 2003, Valencia, Spain, June 13-14, 2003 (proceedings)
- 5th International Workshop on Termination, Utrecht, The Netherlands, May 20-21, 2001 (abstracts)
- 4th International Workshop on Termination, Dagstuhl, Germany, May 10-12, 1999 (abstracts)
- 3rd International Workshop on Termination, Ede, The Netherlands, May 21-23, 1997 (abstracts)
- 2nd International Workshop on Termination, La Bresse, France, May 29-31, 1995 (abstracts)
- 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993
Independently from WST, there are meetings on Certified Termination : WScT
Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.
