Difference between revisions of "News:Termination Competition 2012: June 26 - June 29"

From Termination-Portal.org
Jump to navigationJump to search
m
Line 1: Line 1:
 +
 +
<!--
 +
  Please insert the corresponding information below so that
 +
  the news page can be generated automatically.
 +
 +
  Line breaks are allowed! You may use MediaWiki syntax here to link to articles, highlight text, ...
 +
  Please add some date to the news entry (e.g. today's date for current news, a time period for the competition, ....).
 +
  Example:
 +
      |text = The [[WST]] takes place in [http://en.wikipedia.org/wiki/Juneau Juneau] this year!
 +
      |date = Sep 8 - Nov 1, 2008
 +
-->
 +
 +
The [[Termination Competition 2012]] takes place "live" during the [http://ijcar.cs.manchester.ac.uk/ IJCAR conference].
  
 
{{News
 
{{News

Revision as of 14:50, 26 June 2012


The Termination Competition 2012 takes place "live" during the IJCAR conference.

June 26 - June 29, 2012

The Termination Competition 2012 takes place "live" during the IJCAR conference.