Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CakeML Developers Meeting 13-14 May 2019

view this post on Zulip Email Gateway (Aug 22 2022 at 19:29):

From: Magnus Myreen <myreen@chalmers.se>
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

view this post on Zulip Email Gateway (Aug 22 2022 at 19:30):

From: Makarius <makarius@sketis.net>
This particular item on the programme looks particularly interesting:

* What next for Isabelle/HOL CakeML translator? — Jonas Raedle and
Lars Hupel

Makarius

Last updated: Apr 16 2024 at 20:15 UTC