Search results

• People:Stephan Swiderski
  |email=swiderski@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/swiderski/
  591 bytes (89 words) - 07:29, 31 March 2008
• People:Fabian Emmes
  |email=emmes@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/emmes/
  595 bytes (90 words) - 15:54, 15 July 2009
• People:Thomas Ströder
  |email=stroeder@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/stroeder/
  677 bytes (99 words) - 13:53, 11 April 2011
• People:Carsten Otto
  |email=otto@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/otto/
  747 bytes (110 words) - 07:30, 29 November 2011
• People:Marc Brockschmidt
  |email=brockschmidt@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/brockschmidt/
  614 bytes (90 words) - 14:34, 11 April 2011
• People:Jürgen Giesl
  |email=giesl@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/giesl/
  738 bytes (109 words) - 12:27, 15 January 2026
• People:Jan-Christoph Kassing
  |email=Kassing@cs.rwth-aachen.de |university=RWTH Aachen
  695 bytes (103 words) - 12:44, 15 January 2026
• Tools:AProVE
  |homepage=http://aprove.informatik.rwth-aachen.de |university=RWTH Aachen
  965 bytes (137 words) - 08:40, 10 September 2025
• Termination Competition Steering Committee
  * [https://ffrohn.github.io Florian Frohn] (Chair), RWTH Aachen * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen
  3 KB (405 words) - 09:36, 18 September 2025
• Termination Competition 2025
  The competition will be run on the RWTH Aachen High Performance Computing Cluster. * Florian Frohn (Chair and Organizer), RWTH Aachen
  6 KB (819 words) - 09:09, 8 September 2025
• Termination Competition 2026
  The competition will be run on the RWTH Aachen High Performance Computing Cluster. * Florian Frohn (Chair and Organizer), RWTH Aachen
  6 KB (863 words) - 08:39, 23 February 2026
• Termination Competition 2024
  * Florian Frohn (Chair and Organizer), RWTH Aachen * Jürgen Giesl, RWTH Aachen
  6 KB (902 words) - 13:34, 5 July 2024
• Termination Competition 2023
  * Florian Frohn, RWTH Aachen * Jürgen Giesl, RWTH Aachen
  6 KB (954 words) - 08:32, 12 September 2023
• Termination Competition
  * [https://ffrohn.github.io Florian Frohn] (Chair), RWTH Aachen * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen
  9 KB (1,088 words) - 15:10, 24 February 2026
• Tools:Oops
  |homepage=http://verify.rwth-aachen.de/emmes/Oops/Oops-0.0.1.tar.gz |university=RWTH Aachen
  2 KB (398 words) - 15:27, 22 February 2011
• Termination Competition 2022
  * Florian Frohn, RWTH Aachen * Jürgen Giesl, RWTH Aachen
  8 KB (1,232 words) - 14:09, 7 November 2022
• 21st International Workshop on Termination
  Ede ([http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 1997]), Dagstuhl ([http://verify.rwth-aachen.de/giesl/WST99.html 1999]),
  11 KB (1,375 words) - 09:23, 23 February 2026
• Termination Competition 2021
  * Jürgen Giesl, RWTH Aachen * Georg Moser, University of Innsbruck
  7 KB (1,024 words) - 06:44, 14 July 2021
• Termination Competition 2020
  * Jürgen Giesl, RWTH Aachen * Georg Moser, University of Innsbruck
  7 KB (999 words) - 09:55, 3 July 2020
• Termination Competition 2014
  * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.
  6 KB (942 words) - 13:45, 11 October 2015

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)