http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=Hofbauer 2026-04-05T06:29:47Z User contributions MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=WST&diff=2169 2026-03-13T16:07:07Z

<p>Hofbauer: Pictures of WST 1993 added</p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * 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]])<br /> <br /> Independently from WST, there are meetings on Certified Termination: [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Pic_WST_1993_annotated.pdf&diff=2168 2026-03-13T16:05:08Z

<p>Hofbauer: Picture of WST 1993 participants, provided by Ursula Martin, annotated</p> <hr /> <div>== Summary ==<br /> Picture of WST 1993 participants, provided by Ursula Martin, annotated</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Pic_WST_1993.pdf&diff=2167 2026-03-13T16:03:34Z

<p>Hofbauer: Picture of WST 1993 participants provided by Ursula Martin</p> <hr /> <div>== Summary ==<br /> Picture of WST 1993 participants provided by Ursula Martin</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Picture_WST_1993.jpg&diff=2166 2026-03-13T15:56:23Z

<p>Hofbauer: Picture of participants</p> <hr /> <div>== Summary ==<br /> Picture of participants</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2165 2026-03-13T15:41:16Z

<p>Hofbauer: Programme of WST 1993 added</p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 ([[Media:prog_WST_1993.pdf|programme]])<br /> <br /> Independently from WST, there are meetings on Certified Termination: [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Prog_WST_1993.pdf&diff=2164 2026-03-13T15:40:10Z

<p>Hofbauer: Program (provided by Pierre Lescanne 2025) of WST 1993 including a list of participants</p> <hr /> <div>== Summary ==<br /> Program (provided by Pierre Lescanne 2025) of WST 1993 including a list of participants</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2163 2026-03-13T15:31:42Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination: [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Abstr_WST_1995_programme.pdf&diff=2162 2026-03-13T15:30:36Z

<p>Hofbauer: Programme appended at the end</p> <hr /> <div>== Summary ==<br /> Programme appended at the end</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2161 2026-03-13T15:28:39Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media:abstr_WST_1995_programm.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination: [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2160 2026-03-13T15:24:53Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media:abstr_WST_1995_programm.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Abstr_WST_1995.pdf&diff=2159 2026-03-13T15:13:48Z

<p>Hofbauer: Hofbauer uploaded a new version of File:Abstr WST 1995.pdf</p> <hr /> <div>== Summary ==<br /> Abstracts of WST 1995</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2158 2026-03-13T14:41:00Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media:abstr_WST_1995.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2157 2026-03-13T14:40:36Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media:abstr_WST_1995.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2156 2026-03-13T14:40:02Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media:abstr_WST_1995.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2155 2026-03-13T14:38:38Z

<p>Hofbauer: Added links of affiliated events; corrected broken links</p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] at [https://www.floc26.org/ FLoC 2026], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [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]])<br /> * [[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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]]) &lt;!-- less content, but link still alive: http://imada.sdu.dk/~petersk/WST2010/ --&gt;<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media:abstr_WST_1995.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2154 2026-03-13T10:27:36Z

<p>Hofbauer: Adding more details, unifying format</p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025 ([[Media:proc_WST_2025.pdf|proceedings]])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023 ([[Media:proc_WST_2023.pdf|proceedings]])<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022 ([[Media:proc_WST_2022.pdf|proceedings]])<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris, France, July 16, 2021 ([[Media:proc_WST_2021.pdf|proceedings]])<br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018 ([[Media:proc_WST_2018.pdf|proceedings]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination], Edinburgh, United Kingdom, July 14-15, 2010 ([[Media:proc_WST_2010.pdf|proceedings]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [http://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]])<br /> * [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]])<br /> * [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]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination], La Bresse, France, May 29-31, 1995 ([[Media:abstr_WST_1995.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St Andrews, United Kingdom, May 24-26, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2153 2026-03-13T09:53:49Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025 ([[Media:proc_WST_2025.pdf|proceedings]])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023 ([[Media:proc_WST_2023.pdf|proceedings]])<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022 ([[Media:proc_WST_2022.pdf|proceedings]])<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), July 16, 2021 ([[Media:proc_WST_2021.pdf|proceedings]])<br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018 ([[Media:proc_WST_2018.pdf|proceedings]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012] ([[Media:proc_WST_2012.pdf|proceedings]])<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010] ([[Media:proc_WST_2010.pdf|proceedings]])<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009] ([[Media:proc_WST_2009.pdf|proceedings]])<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007] ([[Media:proc_WST_2007.pdf|proceedings]])<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006] ([[Media:proc_WST_2006.pdf|proceedings]])<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004] ([[Media:proc_WST_2004.pdf|proceedings]])<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003] ([[Media:proc_WST_2003.pdf|proceedings]])<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001] ([[Media:abstr_WST_2001.pdf|abstracts]])<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999]<br /> ([[Media:abstr_WST_1999.pdf|abstracts]])<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997] ([[Media:abstr_WST_1997.pdf|abstracts]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995] ([[Media:abstr_WST_1995.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St. Andrews, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2152 2026-03-13T09:49:55Z

<p>Hofbauer: Adding more proceedings</p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025 ([[Media:proc_WST_2025.pdf|proceedings]])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023 ([[Media:proc_WST_2023.pdf|proceedings]])<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022 ([[Media:proc_WST_2022.pdf|proceedings]])<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020 ([[Media:proc_WST_2020.pdf|proceedings]])<br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018 ([[Media:proc_WST_2018.pdf|proceedings]])<br /> * [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]])<br /> * [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]])<br /> * [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]])<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012] ([[Media:proc_WST_2012.pdf|proceedings]])<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010] ([[Media:proc_WST_2010.pdf|proceedings]])<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009] ([[Media:proc_WST_2009.pdf|proceedings]])<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007] ([[Media:proc_WST_2007.pdf|proceedings]])<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006] ([[Media:proc_WST_2006.pdf|proceedings]])<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004] ([[Media:proc_WST_2004.pdf|proceedings]])<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003] ([[Media:proc_WST_2003.pdf|proceedings]])<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001] ([[Media:abstr_WST_2001.pdf|abstracts]])<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999]<br /> ([[Media:abstr_WST_1999.pdf|abstracts]])<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997] ([[Media:abstr_WST_1997.pdf|abstracts]])<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995] ([[Media:abstr_WST_1995.pdf|abstracts]])<br /> * 1st International Workshop on Termination, St. Andrews, 1993 <br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2151 2026-03-13T09:43:29Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025 ([[Media:proc_WST_2025.pdf|proceedings]])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023.<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022.<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020. <br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018.<br /> * [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.<br /> * [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.<br /> * [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.<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012].<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010].<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009].<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007].<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006].<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004].<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003].<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001].<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999].<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997].<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995].<br /> * 1st International Workshop on Termination, St. Andrews, 1993.<br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2150 2026-03-13T09:39:54Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025 ([[File:proc_WST_2025.pdf|proceedings]])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023.<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022.<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020. <br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018.<br /> * [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.<br /> * [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.<br /> * [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.<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012].<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010].<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009].<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007].<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006].<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004].<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003].<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001].<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999].<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997].<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995].<br /> * 1st International Workshop on Termination, St. Andrews, 1993.<br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2149 2026-03-13T09:38:12Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025 ([[File:proc_WST_2025|proceedings]])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023.<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022.<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020. <br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018.<br /> * [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.<br /> * [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.<br /> * [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.<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012].<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010].<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009].<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007].<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006].<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004].<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003].<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001].<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999].<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997].<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995].<br /> * 1st International Workshop on Termination, St. Andrews, 1993.<br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2148 2026-03-13T09:37:17Z

<p>Hofbauer: Adding some proceedings</p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025 ([[File:proc_WST_2026|proceedings]])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023.<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022.<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020. <br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018.<br /> * [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.<br /> * [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.<br /> * [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.<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012].<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010].<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009].<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007].<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006].<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004].<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003].<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001].<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999].<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997].<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995].<br /> * 1st International Workshop on Termination, St. Andrews, 1993.<br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]<br /> <br /> Copyright for all articles linked on this page remains with the respective authors, unless stated otherwise.</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Abstr_WST_1995.pdf&diff=2147 2026-03-13T09:30:35Z

<p>Hofbauer: Abstracts of WST 1995</p> <hr /> <div>== Summary ==<br /> Abstracts of WST 1995</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Abstr_WST_1997.pdf&diff=2146 2026-03-13T09:30:07Z

<p>Hofbauer: Extended Abstracts of WST 1997</p> <hr /> <div>== Summary ==<br /> Extended Abstracts of WST 1997</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Abstr_WST_1999.pdf&diff=2145 2026-03-13T09:28:53Z

<p>Hofbauer: Abstracts of WST 1999</p> <hr /> <div>== Summary ==<br /> Abstracts of WST 1999</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Abstr_WST_2001.pdf&diff=2144 2026-03-13T09:28:11Z

<p>Hofbauer: Extended Abstracts of WST 2001</p> <hr /> <div>== Summary ==<br /> Extended Abstracts of WST 2001</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2003.pdf&diff=2143 2026-03-13T09:26:44Z

<p>Hofbauer: Proceedings of WST 2003</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2003</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2004.pdf&diff=2142 2026-03-13T09:26:23Z

<p>Hofbauer: Proceedings of WST 2004</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2004</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2006.pdf&diff=2141 2026-03-13T09:26:05Z

<p>Hofbauer: Proceedings of WST 2006</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2006</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2007.pdf&diff=2140 2026-03-13T09:25:49Z

<p>Hofbauer: Proceedings of WST 2007</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2007</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2009.pdf&diff=2139 2026-03-13T09:25:29Z

<p>Hofbauer: Proceedings of WST 2009</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2009</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2010.pdf&diff=2138 2026-03-13T09:25:01Z

<p>Hofbauer: Proceedings of WST 2010</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2010</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2012.pdf&diff=2137 2026-03-13T09:23:50Z

<p>Hofbauer: Proceedings of WST 2012</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2012</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2013.pdf&diff=2136 2026-03-13T09:23:29Z

<p>Hofbauer: Proceedings of WST 2013</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2013</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2014.pdf&diff=2135 2026-03-13T09:23:12Z

<p>Hofbauer: Proceedings of WST 2014</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2014</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2016.pdf&diff=2134 2026-03-13T09:22:53Z

<p>Hofbauer: Proceedings of WST 2016</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2016</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2018.pdf&diff=2133 2026-03-13T09:22:35Z

<p>Hofbauer: Proceedings of WST 2018</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2018</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2021.pdf&diff=2132 2026-03-13T09:22:11Z

<p>Hofbauer: Proceedings of WST 2021</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2021</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2022.pdf&diff=2131 2026-03-13T09:21:49Z

<p>Hofbauer: Proceedings of WST 2022</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2022</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2023.pdf&diff=2130 2026-03-13T09:21:26Z

<p>Hofbauer: Proceedings of WST 2023</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2023</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=File:Proc_WST_2025.pdf&diff=2129 2026-03-13T09:20:23Z

<p>Hofbauer: Proceedings of WST 2025</p> <hr /> <div>== Summary ==<br /> Proceedings of WST 2025</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2112 2026-03-09T16:51:28Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026.<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025. ([https://termcomp.imn.htwk-leipzig.de/WST2025/ alternative web server])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023.<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022.<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020. <br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018.<br /> * [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.<br /> * [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.<br /> * [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.<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012].<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010].<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009].<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007].<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006].<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004].<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003].<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001].<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999].<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997].<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995].<br /> * 1st International Workshop on Termination, St. Andrews, 1993.<br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2111 2026-03-09T16:43:42Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026.<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025. ([https://termcomp.imn.htwk-leipzig.de/WST2025/ alternative web server])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023.<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022.<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020. <br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018.<br /> * [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.<br /> * [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.<br /> * Joint Workshop on Termination [https://web.archive.org/web/20140505184545/https://www.imn.htwk-leipzig.de/WST2013/ WST2013] and on Foundational and Practical Aspects of Resource Analysis [https://web.archive.org/web/20190907225337/http://fopara2013.cs.unibo.it/ FOPARA], Bertinoro, Italy, August 29-31, 2013.<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012].<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010].<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009].<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007].<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006].<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004].<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003].<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001].<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999].<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997].<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995].<br /> * 1st International Workshop on Termination, St. Andrews, 1993.<br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]</div>

Hofbauer http://termination-portal.org/mediawiki/index.php?title=WST&diff=2110 2026-03-09T16:34:18Z

<p>Hofbauer: </p> <hr /> <div>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.<br /> <br /> Upcoming events:<br /> * [[21st International Workshop on Termination]] during [https://www.floc26.org/ Federated Logic Conference (FLoC)], Lisbon, Portugal, July 25, 2026.<br /> <br /> Previous workshops:<br /> * [https://www.imn.htwk-leipzig.de/WST2025/ 20th International Workshop on Termination], Leipzig, Germany, September 3-4, 2025. ([https://termcomp.imn.htwk-leipzig.de/WST2025/ alternative web server])<br /> * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023.<br /> * [https://sws.cs.ru.nl/WST2022 18th International Workshop on Termination] during [https://www.floc2022.org/ Federated Logic Conference (FLoC)], Haifa, Israel, August 11-12, 2022.<br /> * [http://costa.fdi.ucm.es/wst2020/ 17th International Workshop on Termination] planned to be co-located with IJCAR and [http://fscdconference.org/editions/upcoming FSCD 2020], Paris (France), June/July, 2020. <br /> * [https://web.archive.org/web/20181026074549/http://wst2018.webs.upv.es/ 16th International Workshop on Termination] during [http://www.floc2018.org/ Federated Logic Conference (FLoC)], Oxford, United Kingdom, July 18-19, 2018.<br /> * [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.<br /> * [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.<br /> * Joint Workshop on Termination [https://web.archive.org/web/20140505184545/https://www.imn.htwk-leipzig.de/WST2013/ WST2013] and on Foundational and Practical Aspects of Resource Analysis [http://fopara2013.cs.unibo.it/ FOPARA], Bertinoro, Italy, August 29-31, 2013.<br /> * [https://web.archive.org/web/20120704083358/http://cl-informatik.uibk.ac.at/users/georg/events/wst2012/ 12th International Workshop on Termination, Obergurgl, February 19-23, 2012].<br /> * [http://imada.sdu.dk/~petersk/WST2010/ 11th International Workshop on Termination, Edinburgh, 2010].<br /> * [https://web.archive.org/web/20160910020839/https://portal.imn.htwk-leipzig.de/termine/10-international-workshop-on-termination/ 10th International Workshop on Termination, Leipzig, 2009].<br /> * [https://web.archive.org/web/20181130121956/http://www.lsv.fr/Events/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007].<br /> * [https://web.archive.org/web/20060620011616/http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Termination, Seattle, 2006].<br /> * [https://web.archive.org/web/20050503110144/http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Termination, Aachen, 2004].<br /> * [https://web.archive.org/web/20090413162845/http://users.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Termination, Valencia, 2003].<br /> * [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Termination, Utrecht, 2001].<br /> * [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Termination, Dagstuhl, 1999].<br /> * [https://web.archive.org/web/20030829111237/http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997].<br /> * [https://lics.siglog.org/newsletters/22.html 2nd International Workshop on Termination, La Bresse, 1995].<br /> * 1st International Workshop on Termination, St. Andrews, 1993.<br /> <br /> Independently from WST, there are meetings on Certified Termination : [[WScT]]</div>

Hofbauer