Difference between revisions of "WST"
From Termination-Portal.org
Jump to navigationJump to search (Adding more details, unifying format) |
(Added links of affiliated events; corrected broken links) |
||
| Line 2: | Line 2: | ||
Upcoming events: | Upcoming events: | ||
| − | * [[21st International Workshop on Termination]] | + | * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026 |
Previous workshops: | Previous workshops: | ||
| − | * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025 ([[Media:proc_WST_2025.pdf|proceedings]]) | + | * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination] co-located with [https://iwc2025.github.io/ IWC 2025], Leipzig, Germany, September 3-4, 2025 ([[Media:proc_WST_2025.pdf|proceedings]]) |
| − | * [[19th International Workshop on Termination]], 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] | + | * [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://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] virtual at [https://www.cs.cmu.edu/~mheule/CADE28/ CADE 2021], Paris, France, July 16, 2021 ([[Media:proc_WST_2021.pdf|proceedings]]) |
| − | * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] | + | * [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]]) |
| − | * [http://cl-informatik.uibk.ac.at/events/wst-2016/ 15th International Workshop on Termination] at [http://cl-informatik.uibk.ac.at/events/cla-2016/ Computational Logic in the Alps], 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] during [http://vsl2014.at/ Vienna Summer of Logic], Vienna, Austria, July 17-18, 2014 ([[Media:proc_WST_2014.pdf|proceedings]]) | * [https://easychair.org/smart-program/VSL2014/WST-index.html 14th International Workshop on Termination] during [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]]) | ||
| − | * [ | + | * [https://web.archive.org/web/20110312013032/http://www.floc-conference.org/WST-home.html 11th International Workshop on Termination] at [https://web.archive.org/web/20110726060344/http://www.floc-conference.org/ FLoC 2010], Edinburgh, United Kingdom, July 14-15, 2010 ([[Media:proc_WST_2010.pdf|proceedings]]) <!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --> |
* [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination], Leipzig, Germany, June 3-5, 2009 ([[Media:proc_WST_2009.pdf|proceedings]]) | * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination], Leipzig, Germany, June 3-5, 2009 ([[Media:proc_WST_2009.pdf|proceedings]]) | ||
| − | * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination], Paris, France, June 29, 2007 ([[Media:proc_WST_2007.pdf|proceedings]]) | + | * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination] at [https://web.archive.org/web/20160412133009/http://www.lsv.ens-cachan.fr/Events/rdp07/index.html RDP 2007], Paris, France, June 29, 2007 ([[Media:proc_WST_2007.pdf|proceedings]]) |
| − | * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination], Seattle, WA, USA, August 15-16, 2006 ([[Media:proc_WST_2006.pdf|proceedings]]) | + | * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination] at [https://web.archive.org/web/20060617062242/http://www.easychair.org/FLoC-06/index.html FLoC 2006], Seattle, WA, USA, August 15-16, 2006 ([[Media:proc_WST_2006.pdf|proceedings]]) |
| − | * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination], Aachen, Germany, June 1-2, 2004 ([[Media:proc_WST_2004.pdf|proceedings]]) | + | * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination] at [https://web.archive.org/web/20050523084705/http://www-i2.informatik.rwth-aachen.de/RDP04/ RDP 2004], Aachen, Germany, June 1-2, 2004 ([[Media:proc_WST_2004.pdf|proceedings]]) |
| − | * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination], Valencia, Spain, June 13-14, 2003 ([[Media:proc_WST_2003.pdf|proceedings]]) | + | * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination] at [https://web.archive.org/web/20060901110038/http://www.dsic.upv.es/~rdp03/ RDP 2003], Valencia, Spain, June 13-14, 2003 ([[Media:proc_WST_2003.pdf|proceedings]]) |
| − | * [ | + | * [https://web.archive.org/web/20251215164954/https://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination], Utrecht, The Netherlands, May 20-21, 2001 ([[Media:abstr_WST_2001.pdf|abstracts]]) |
* [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination], Dagstuhl, Germany, May 10-12, 1999 ([[Media:abstr_WST_1999.pdf|abstracts]]) | * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination], Dagstuhl, Germany, May 10-12, 1999 ([[Media:abstr_WST_1999.pdf|abstracts]]) | ||
* [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination], Ede, The Netherlands, May 21-23, 1997 ([[Media:abstr_WST_1997.pdf|abstracts]]) | * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination], Ede, The Netherlands, May 21-23, 1997 ([[Media:abstr_WST_1997.pdf|abstracts]]) | ||
Revision as of 14:38, 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 co-located 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 during 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.
