[isabelle] CakeML Developers Meeting 13-14 May 2019



Hi all,

This year's CakeML Developers Meeting will be held 13-14 May 2019 at
Chalmers in Gothenburg Sweden. This meeting brings together developers
and users of CakeML -- anyone with an interest in CakeML is welcome.

The preliminary programme for the meeting is here:

https://cakeml.org/dev-meeting-2019.html

There is no registration or registration fee. However, anyone who want
to take part in the social event on Monday 13 May must let me know
that they are coming (by 3 May at the latest).

Magnus




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.