Difference between revisions of "WScT08"

From Termination-Portal.org
Jump to navigationJump to search
 
Line 12: Line 12:
 
more information:
 
more information:
  
* [[WScT08-Minutes-Certification]]
+
* Minutes (summary)
* [[WScT08-Minutes-Competition]]
+
** [[WScT08-Minutes-Certification]]
* [[WScT08-Program]]
+
** [[WScT08-Minutes-Competition]]
 +
* [[WScT08-Program]] (includes slides of presentations)
 
* [[WScT08-Registration]]
 
* [[WScT08-Registration]]
 
* [[WScT08-Arrangements]]
 
* [[WScT08-Arrangements]]

Latest revision as of 13:36, 2 June 2008

Workshop on Certified Termination WScT08

For general information on the workshop topic and history, see WScT.

This will be a working meeting, with plenty of room for discussion.

  • location: Leipzig, Germany
  • date: May 17 - 19, 2008
  • local organizer: Johannes Waldmann, HTWK Leipzig

more information: