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



On 24/04/2019 14:19, Magnus Myreen wrote:
> 
> 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

This particular item on the programme looks particularly interesting:

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


	Makarius




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