Difference between revisions of "Termination Competition 2019"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with "We intend to be part of [https://tacas.info/toolympics.php Toolympics], with results presented during TACAS'19, April 16-17, Prague. We intend to run on Starexec, but the act...")
 
Line 2: Line 2:
 
with results presented during TACAS'19, April 16-17, Prague.
 
with results presented during TACAS'19, April 16-17, Prague.
  
We intend to run on Starexec, but the actual run will take
+
We intend to run on Starexec. The actual run will take
 
place a few weeks/days before presentation of results,
 
place a few weeks/days before presentation of results,
 
at the discretion of the organizer, Akihisa Yamada.
 
at the discretion of the organizer, Akihisa Yamada.

Revision as of 17:39, 26 July 2018

We intend to be part of Toolympics, with results presented during TACAS'19, April 16-17, Prague.

We intend to run on Starexec. The actual run will take place a few weeks/days before presentation of results, at the discretion of the organizer, Akihisa Yamada.