December 2013 Archives by subject

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

Starting: Mon Dec 9 10:48:53 CET 2013
Ending: Mon Dec 23 09:00:33 CET 2013
Messages: 4

• [Termtools] Call for Participation PEPM 2014 (co-located with POPL 2014) === P E P M 2014 ===   planpublicity at gmail.com
• [Termtools] Full Run of the Termination Competition 2013: Call for Participation   Juergen Giesl
• [Termtools] Full run started   René Thiemann
• [Termtools] Termination Analysis of C Programs in SV-COMP   Matthias Heizmann

Last message date: Mon Dec 23 09:00:33 CET 2013
Archived on: Mon Dec 23 09:07:47 CET 2013

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