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- | + | |date= Sep 5-7, 2016 |
}} | }} |