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


_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

Reply via email to