Difference between revisions of "News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps"

From Termination-Portal.org
Jump to navigationJump to search
(Adding WST 2016)
 
(Corrected Date of WST 2016)
Line 13: Line 13:
 
{{News
 
{{News
 
|text= The [http://cl-informatik.uibk.ac.at/events/wst-2016/ Workshop on Termination in 2016] is part of [http://cl-informatik.uibk.ac.at/events/cla-2016/ Computational Logic in the Alps].
 
|text= The [http://cl-informatik.uibk.ac.at/events/wst-2016/ Workshop on Termination in 2016] is part of [http://cl-informatik.uibk.ac.at/events/cla-2016/ Computational Logic in the Alps].
|date= Sep 5-6, 2016
+
|date= Sep 5-7, 2016
 
}}
 
}}

Revision as of 11:57, 2 May 2016