November 2009 Archives by author

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

Starting: Wed Nov 18 18:30:44 CET 2009
Ending: Fri Nov 20 13:43:31 CET 2009
Messages: 2

• [Termtools] Termination Competition 2009: Call for Participation   Juergen Giesl
• [Termtools] Call for Participation - PEPM'10 (co-located with POPL'10)   voigt at tcs.inf.tu-dresden.de

Last message date: Fri Nov 20 13:43:31 CET 2009
Archived on: Fri Nov 20 14:49:38 CET 2009

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