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:


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).


hol-info mailing list

Reply via email to