June 2013 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon Jun 3 11:12:39 CEST 2013
Ending: Mon Jun 24 14:16:38 CEST 2013
Messages: 4

• [Termtools] Termination Competition 2013: Deadline extended to June 19   Juergen Giesl
• [Termtools] Termcomp has started   René Thiemann
• [Termtools] CfP: 13th Intl. Workshop on Termination, Bertinoro (Italy), August 29-31   Johannes Waldmann
• [Termtools] 2nd CfP: Workshop on Termination 2013   Johannes Waldmann

Last message date: Mon Jun 24 14:16:38 CEST 2013
Archived on: Mon Jun 24 14:36:12 CEST 2013

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...