July 2013 Archives by subject

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

Starting: Wed Jul 3 13:58:04 CEST 2013
Ending: Sun Jul 28 23:19:19 CEST 2013
Messages: 6

• [Termtools] Call for Participation FOPARA/WST   Carsten Fuhs
• [Termtools] Competition rerun finished   René Thiemann
• [Termtools] First Call for Papers PEPM 2014   planpublicity at gmail.com
• [Termtools] FLoC Call for Workshops   Georg Moser
• [Termtools] New version of TPDB available   René Thiemann
• [Termtools] Workshop on Termination 2013 (update)   Johannes Waldmann

Last message date: Sun Jul 28 23:19:19 CEST 2013
Archived on: Mon Aug 19 09:22:14 CEST 2013

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