19th International Workshop on Termination - Revision history

Giesl: underlined names and added web sites

2023-08-17T17:02:09Z

underlined names and added web sites

Ffrohn: /* Friday 25 August */

2023-08-16T12:51:43Z

Friday 25 August

Akihisa Yamada: /* Program */

2023-08-15T13:32:26Z

Program

Akihisa Yamada: links

2023-08-15T13:29:08Z

links

Epayet at 12:37, 14 August 2023

2023-08-14T12:37:46Z

Epayet at 12:36, 14 August 2023

2023-08-14T12:36:14Z

Akihisa Yamada: map link

2023-08-14T11:12:03Z

map link

Akihisa Yamada: registration is not open

2023-08-14T11:05:47Z

registration is not open

Akihisa Yamada: /* Program */

2023-08-14T09:30:38Z

Program

Akihisa Yamada: Program

2023-08-14T09:22:26Z

Program

Show changes

@@ Line 90: / Line 90: @@
 |-
 |style="vertical-align:top;"|15:00
-|	Jan-Christoph Kassing and Jürgen Giesl:
+|	<u>Jan-Christoph Kassing</u> and [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]:
 	'''Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting''' [https://doi.org/10.48550/arXiv.2307.10002 (paper)]
 |-
@@ Line 133: / Line 133: @@
 |-
 |style="vertical-align:top;"|10:00
-|	Jera Hensel and Jürgen Giesl:
+|	Jera Hensel and <u>[https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]</u>:
 	'''Automated Termination Proofs for C Programs with Lists''' [https://doi.org/10.48550/arXiv.2307.11024 (paper)]
 |-
@@ Line 147: / Line 147: @@
 |-
 |style="vertical-align:top;"|11:30
-|	<u>[https://ffrohn.github.io Florian Frohn]</u> and Jürgen Giesl:
+|	<u>[https://ffrohn.github.io Florian Frohn]</u> and [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]:
 	'''Proving Non-Termination by Acceleration Driven Clause Learning''' [https://doi.org/10.48550/arXiv.2307.09839 (paper)]
 |-
@@ Line 161: / Line 161: @@
 {|
 |style="vertical-align:top;"|14:00
-|	Nils Lommen, Eleanore Meyer and Jürgen Giesl:
+|	<u>Nils Lommen</u>, Eleanore Meyer and [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]:
 	'''Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops''' [https://doi.org/10.48550/arXiv.2307.10061 (paper)]
 |-
@@ Line 178: / Line 178: @@
 {|
 |style="vertical-align:top;"|16:00
-|	Nils Lommen, Eleanore Meyer and Jürgen Giesl:
+|	<u>Nils Lommen</u>, Eleanore Meyer and [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]:
 	'''KoAT: An Automatic Complexity Analysis Tool for Integer Programs'''
 |-
 |style="vertical-align:top;"|16:15
-|	<u>[https://ffrohn.github.io Florian Frohn]</u> and Jürgen Giesl:
+|	<u>[https://ffrohn.github.io Florian Frohn]</u> and [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]:
 	'''Proving Non-Termination and Lower Runtime Bounds via ADCL with LoAT'''
 |-
 |style="vertical-align:top;"|16:30
-|	Jürgen Giesl, Daniel Cloerkes, Stefan Dollase, [https://ffrohn.github.io Florian Frohn], Carsten Fuhs, Jera Hensel, Jan-Christoph Kassing, Nils Lommen and Eleanore Meyer:
+|	<u>[https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]</u>, Daniel Cloerkes, Stefan Dollase, [https://ffrohn.github.io Florian Frohn], Carsten Fuhs, Jera Hensel, Jan-Christoph Kassing, Nils Lommen and Eleanore Meyer:
 	'''AProVE 2023'''
 |-

@@ Line 147: / Line 147: @@
 |-
 |style="vertical-align:top;"|11:30
-|	Florian Frohn and Jürgen Giesl:
+|	<u>[https://ffrohn.github.io Florian Frohn]</u> and Jürgen Giesl:
 	'''Proving Non-Termination by Acceleration Driven Clause Learning''' [https://doi.org/10.48550/arXiv.2307.09839 (paper)]
 |-
@@ Line 182: / Line 182: @@
 |-
 |style="vertical-align:top;"|16:15
-|	Florian Frohn and Jürgen Giesl:
+|	<u>[https://ffrohn.github.io Florian Frohn]</u> and Jürgen Giesl:
 	'''Proving Non-Termination and Lower Runtime Bounds via ADCL with LoAT'''
 |-
 |style="vertical-align:top;"|16:30
-|	Jürgen Giesl, Daniel Cloerkes, Stefan Dollase, Florian Frohn, Carsten Fuhs, Jera Hensel, Jan-Christoph Kassing, Nils Lommen and Eleanore Meyer:
+|	Jürgen Giesl, Daniel Cloerkes, Stefan Dollase, [https://ffrohn.github.io Florian Frohn], Carsten Fuhs, Jera Hensel, Jan-Christoph Kassing, Nils Lommen and Eleanore Meyer:
 	'''AProVE 2023'''
 |-

@@ Line 100: / Line 100: @@
 {|
 |style="vertical-align:top;"|16:00
-|	Fabian Mitterwallner, Aart Middeldorp and René Thiemann:
+|	<u>Fabian Mitterwallner</u>, Aart Middeldorp and René Thiemann:
 	'''Linear Termination over N is Undecidable''' [https://doi.org/10.48550/arXiv.2307.14805 (paper)]
 |-
@@ Line 108: / Line 108: @@
 |-
 |style="vertical-align:top;"|17:00
-|	René Thiemann and Elias Wenninger:
+|	<u>René Thiemann</u> and Elias Wenninger:
 	'''A Verified Efficient Implementation of the Weighted Path Order''' [https://doi.org/10.48550/arXiv.2307.14671 (paper)]
 |-
 |style="vertical-align:top;"|17:30
-|	Nao Hirokawa and Aart Middeldorp:
+|	<u>Nao Hirokawa</u> and Aart Middeldorp:
 	'''Hydra Battles and AC Termination, Revisited''' [https://doi.org/10.48550/arXiv.2307.14036 (paper)]
 |-

@@ Line 86: / Line 86: @@
 |-
 |style="vertical-align:top;"|14:00
-|	Benjamin Kaminski:
+|	[https://quave.cs.uni-saarland.de/benjamin-kaminski/ Benjamin Kaminski]:
 	'''Termination of Probabilistic Programs <span style="color:red;">(invited talk)</span>'''
 |-
@@ Line 198: / Line 198: @@
 |-
 |style="vertical-align:top;"|17:15
-|	Akihisa Yamada:
+|	[https://akihisayamada.github.io/ Akihisa Yamada]:
-	'''Results of the Termination Competition 2023'''
+	'''Results of the [[Termination Competition 2023]]'''
 |-
 |style="vertical-align:top;"|17:30

@@ Line 190: / Line 190: @@
 |-
 |style="vertical-align:top;"|16:45
-|	Fred Mesnard and Etienne Payet:
+|	Fred Mesnard and <u>[http://lim.univ-reunion.fr/staff/epayet/ Étienne Payet]</u>:
 	'''NTI+cTI: a Logic Programming Termination Analyzer'''
 |-

@@ Line 151: / Line 151: @@
 |-
 |style="vertical-align:top;"|12:00
-|	Etienne Payet:
+|	[http://lim.univ-reunion.fr/staff/epayet/ Étienne Payet]:
 	'''Binary Non-Termination in Term Rewriting and Logic Programming''' [https://doi.org/10.48550/arXiv.2307.11549 (paper)]
 |-

← Older revision		Revision as of 11:12, 14 August 2023
Line 1:		Line 1:
−	August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria.	+	August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google Map)]

	As part of [http://cl-informatik.uibk.ac.at/events/osr-2023/ Obergurgl Summer on Rewriting 2023] and		As part of [http://cl-informatik.uibk.ac.at/events/osr-2023/ Obergurgl Summer on Rewriting 2023] and

← Older revision		Revision as of 11:05, 14 August 2023
Line 1:		Line 1:
	August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria.		August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria.
−	~~Co-located with [http://cl-informatik.uibk.ac.at/iwc/2023/ IWC 2023].~~

−	~~Registration is open at~~ [http://cl-informatik.uibk.ac.at/events/osr-2023/ ~~OSR~~ 2023 ~~website~~]!	+	As part of [http://cl-informatik.uibk.ac.at/events/osr-2023/ Obergurgl Summer on Rewriting 2023] and
		+	co-located with [http://cl-informatik.uibk.ac.at/iwc/2023/ IWC 2023].
		+

@@ Line 81: / Line 81: @@
 ===Thursday 24 August===
 {|
 |-
 |style="vertical-align:top;"|14:00
@@ Line 96: / Line 96: @@
 |}
 {|
 |style="vertical-align:top;"|16:00
 |	Fabian Mitterwallner, Aart Middeldorp and René Thiemann:
@@ Line 121: / Line 120: @@
 ===Friday 25 August===
 {|
 |style="vertical-align:top;"|9:00
 |	Ayuka Matsumi, Naoki Nishida, Misaki Kojima and Donghoon Shin:
@@ Line 140: / Line 139: @@
 |}
 {|
 |style="vertical-align:top;"|11:00
 |	Dieter Hofbauer and Johannes Waldmann:
@@ Line 159: / Line 157: @@
 |}
 {|
 |style="vertical-align:top;"|14:00
 |	Nils Lommen, Eleanore Meyer and Jürgen Giesl:
@@ Line 177: / Line 174: @@
 |}
 {|
 |style="vertical-align:top;"|16:00
 |	Nils Lommen, Eleanore Meyer and Jürgen Giesl: