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) |
m (Thiemann moved page News:Workshop on Termination 2016: September 5-6 at Computational Logic in the Alps to News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps: corrected date of WST 2016) |
||
(One intermediate revision by the same user not shown) | |||
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 |
}} | }} |