[Om3] Dates for second/third OM3 F2F Meeting

David Carlisle davidc at nag.co.uk
Fri Jun 6 10:13:26 CEST 2014

Previous message: [Om3] homework, describing a definition for n-ary plus
Next message: [Om3] Dates for second/third OM3 F2F Meeting
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 26/05/2014 08:13, Michael Kohlhase wrote:
> - Thu, Jun 5. 17:00-18:00 (without James). 


sorry, I didn't get to the meeting.

David

Previous message: [Om3] homework, describing a definition for n-ary plus
Next message: [Om3] Dates for second/third OM3 F2F Meeting
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Om3 mailing list