Difference between revisions of "WST"
From Termination-Portal.org
Jump to navigationJump to searchm |
(Pictures of WST 1993 added) |
||
| (6 intermediate revisions by the same user not shown) | |||
| 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] at [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] at [http://vsl2014.at/ Vienna Summer of Logic 2014], 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 2013], 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/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/ --> | ||
| Line 23: | Line 23: | ||
* [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]]) | ||
| − | * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media: | + | * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media:abstr_WST_1995_programme.pdf|abstracts]]) |
| − | * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 | + | * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 ([[Media:prog_WST_1993.pdf|programme]], [[Media:pic_WST_1993.pdf|picture]], [[Media:pic_WST_1993_annotated.pdf|annotated picture]]) |
| − | Independently from WST, there are meetings on Certified Termination : [[WScT]] | + | 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. | Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise. | ||
Latest revision as of 16:07, 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 2014, Vienna, Austria, July 17-18, 2014 (proceedings)
- 13th International Workshop on Termination joint with FOPARA 2013, 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 (programme, picture, annotated picture)
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.
