Difference between revisions of "WST"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
(Pictures of WST 1993 added) |
||
| (46 intermediate revisions by 6 users not shown) | |||
| Line 2: | Line 2: | ||
Upcoming events: | Upcoming events: | ||
| − | * | + | * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026 |
| − | + | Previous workshops: | |
| − | * | + | * [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]]) |
| − | * [http://cl-informatik.uibk.ac.at/users/georg/events/wst2012 12th International Workshop on Termination, Obergurgl, February 19-23, 2012] | + | * [[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://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]]) |
| − | * [http://www.lsv | + | * [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://www.easychair.org/FLoC-06/WST.html 8th International Workshop on | + | * [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]]) |
| − | * [http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on | + | * [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]]) |
| − | * [http:// | + | * [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]]) |
| − | * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on | + | * [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/ --> |
| − | * [http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997] | + | * [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]]) |
| − | * 2nd International Workshop on Termination, La Bresse, 1995 | + | * [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]]) |
| − | * 1st International Workshop on Termination, St | + | * [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]]) |
| − | Independently from WST, there are meetings on Certified Termination : [[WScT]] | + | * [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] 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]]) | ||
| + | * [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:abstr_WST_1995_programme.pdf|abstracts]]) | ||
| + | * 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]] | ||
| + | |||
| + | 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.
