June 2014 Archives by author

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

Starting: Mon Jun 2 20:44:03 CEST 2014
Ending: Mon Jun 30 21:23:43 CEST 2014
Messages: 13

• [Termtools] WST 2014: Call for Participation   Carsten Fuhs
• [Termtools] Termination Competition 2014: Second Call for Participation (Tool Registration Deadline on JUNE 15!)   Juergen Giesl
• [Termtools] benchmarks for new categories needed   Matthias Heizmann
• [Termtools] CICLOPS-WLPE 2014: CALL FOR PARTICIPATION   Thomas Ströder
• [Termtools] benchmarks for new categories needed   Thomas Ströder
• [Termtools] Fwd: ITRS examples   Thomas Ströder
• [Termtools] termcomp 2014 registration reminder: deadline is June 15   Johannes Waldmann
• [Termtools] termcomp 2014: timeouts   Johannes Waldmann
• [Termtools] benchmarks for new categories needed   Johannes Waldmann
• [Termtools] Termination Competition 2014 - status of registrations   Johannes Waldmann
• [Termtools] TC 2014 - certified categories   Johannes Waldmann
• [Termtools] Benchmark submissions   Johannes Waldmann
• [Termtools] post-processing for non-certified complexity   Johannes Waldmann

Last message date: Mon Jun 30 21:23:43 CEST 2014
Archived on: Mon Jun 30 21:23:57 CEST 2014

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