April 2008 Archives by thread

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

Starting: Tue Apr 1 14:45:22 CEST 2008
Ending: Wed Apr 30 19:53:32 CEST 2008
Messages: 7

• [Om] 2nd CFP: UITP'08 - User Interfaces for Theorem Provers   Christoph Benzmueller
• [Om] POPCORN for OpenMath   Peter Horn
  • [Om] POPCORN for OpenMath   Paul Libbrecht
  • [Om] POPCORN for OpenMath   Alberto Gonz ález Palomo
• [Om] 4th European Workshop on Mathematical and Scientific e-Contents   Olga Caprotti
• [Om] PLMMS - last call for papers   Jacques Carette
• [Om] Final CFP: UITP'08 - User Interfaces for Theorem Provers   Christoph Benzmueller

Last message date: Wed Apr 30 19:53:32 CEST 2008
Archived on: Fri May 2 10:04:57 CEST 2008

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