June 2015 Archives by date

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

Starting: Sun Jun 7 12:12:53 CEST 2015
Ending: Wed Jun 24 20:29:06 CEST 2015
Messages: 5

• [Termtools] Termination Competition 2015: Call for Participation   Juergen Giesl
• [Termtools] PhD student or postdoc position announcement   Thiemann, Rene
• [Termtools] Intl. School on Rewriting ISR 2015, Leipzig, Germany, August 10-14   Carsten Fuhs
• [Termtools] Termination Competition 2015: Proposal for new integer C category   Thomas Ströder
• [Termtools] Complexity and certified categories in upcoming termination competition   Thiemann, Rene

Last message date: Wed Jun 24 20:29:06 CEST 2015
Archived on: Wed Jun 24 20:29:11 CEST 2015

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