July 2006 Archives by thread

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

Starting: Fri Jul 7 09:34:37 CEST 2006
Ending: Fri Jul 21 17:28:35 CEST 2006
Messages: 8

• [Termtools] INRIA postdoc position: certification of termination proofs   Frederic Blanqui
• [Termtools] competition   Salvador Lucas
  • [Termtools] competition   Claude Marche
    • [Termtools] competition   slucas at dsic.upv.es
    • [Termtools] competition   Johannes Waldmann
    • [Termtools] TPDB specification problems   Johannes Waldmann
  • [Termtools] live session at WST06?   Johannes Waldmann
• [Termtools] certification of termination proofs   Frederic Blanqui

Last message date: Fri Jul 21 17:28:35 CEST 2006
Archived on: Tue Sep 5 15:57:42 CEST 2006

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