May 2011 Archives by thread

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

Starting: Mon May 2 08:28:45 CEST 2011
Ending: Tue May 31 11:53:30 CEST 2011
Messages: 7

• [Om] First CFP: DML 2011--Towards a Digital Mathematics Library, Bertinoro, July 20-21st   dml2011 at easychair.org
• [Om] [fm-announcements] RV 2011 - call for papers + tutorial and tool demo proposals   Havelund, Klaus (318M)
  • [Om] 2nd CfP (1 week to go) Workshop Mathematical Wikis @ ITP 2011 (Nijmegen, NL, Aug 27; abstract submission May 30)   Christoph LANGE
  • [Om] OpenMath Workshop July 20, Bertinoro, Italy: Continuous Submission until July 10   Christoph LANGE
• [Om] [fm-announcements] RV 2011 final CfP -- paper deadline extension: June 12, 2011   Havelund, Klaus (318M)
• [Om] Third CFP: DML 2011--Towards a Digital Mathematics Library, Bertinoro, July 20-21st   dml2011 at easychair.org
• [Om] Call for Papers: MACIS 2011   MACIS 2011

Last message date: Tue May 31 11:53:30 CEST 2011
Archived on: Wed Jun 1 09:25:41 CEST 2011

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