June 2010 Archives by author

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

Starting: Thu Jun 10 10:12:47 CEST 2010
Ending: Fri Jun 25 15:15:40 CEST 2010
Messages: 8

• [Om] Workshop on Mathematically Intelligent Proof Search (MIPS) -- Call for Presentations   Serge Autexier
• [Om] AISC'10 - Call for Participation   Serge Autexier
• [Om] 2nd Call for Papers: OpenMath Workshop at CICM: Paris, July 8. Deadline June 18   Christoph LANGE
• [Om] Last Call for Papers/Abstracts: OpenMath Workshop (July 8). Deadline now.   Christoph LANGE
• [Om] Call for Participation: Content Math Training Camp at CICM (July 5 to 9, Paris)   Christoph LANGE
• [Om] Request for feedback: Towards OpenMath CDs as Linked Data   Christoph LANGE
• [Om] Call for participation: OpenMath Workshop at CICM (Wednesday July 8 morning)   Christoph LANGE
• [Om] MKM 2010: Call for Participation   Alan P. Sexton

Last message date: Fri Jun 25 15:15:40 CEST 2010
Archived on: Fri Jun 25 15:16:14 CEST 2010

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