June 2014 Archives by date

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

Starting: Mon Jun 2 13:02:28 CEST 2014
Ending: Sat Jun 7 23:04:13 CEST 2014
Messages: 16

• [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min).   Michael Kohlhase
• [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min).   James Davenport
• [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min).   Christoph LANGE
• [Om3] [OpenMath] #150: CD-level properties (CMP and FMP)   OpenMath
• [Om3] A short comment on two of Michael's ideas. Re: Reminder: today 14:00 CET   Chris Rowley
• [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min).   Christoph LANGE
• [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min).   Olga Caprotti
• [Om3] Theme suggestion for Thursday's F2F agenda   Lars Hellström
• [Om3] homework, describing a definition for n-ary plus   Jan Willem Knopper
• [Om3] homework, describing a definition for n-ary plus   Lars Hellström
• [Om3] homework, describing a definition for n-ary plus   Andreas Strotmann
• [Om3] homework, describing a definition for n-ary plus   Andreas Strotmann
• [Om3] Dates for second/third OM3 F2F Meeting   David Carlisle
• [Om3] Dates for second/third OM3 F2F Meeting   Chris Rowley
• [Om3] homework, describing a definition for n-ary plus   Jan Willem Knopper
• [Om3] homework, describing a definition for n-ary plus   Lars Hellström

Last message date: Sat Jun 7 23:04:13 CEST 2014
Archived on: Sat Jun 7 23:05:45 CEST 2014

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