May 2014 Archives by date

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

Starting: Fri May 2 06:27:08 CEST 2014
Ending: Sun May 25 17:16:45 CEST 2014
Messages: 6

• [Om] [fm-announcements] Fourth Summer School on Formal Techniques   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014   Serge Autexier
• [Om] [ADG2014]: Cfp (Extension to May 11, 2014)   Miguel Á. Abánades
• [Om] First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)   Michael Kohlhase
• [Om] Final Call for Papers: MathUI'14 (New Deadline: 2014/05/22)   Michael Kohlhase
• [Om] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014   MUNOZ, CESAR (LARC-D320)

Last message date: Sun May 25 17:16:45 CEST 2014
Archived on: Mon May 26 13:46:28 CEST 2014

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