<div dir="ltr"><div><div><div><div>Hello everyone,<br><br></div>Just wanted to point out that we are going to run a CakeML tutorial at PLDI (in 2 weeks!) on Friday June 23rd in Barcelona, as part of the affiliated PLDI workshops/tutorials. (Sorry for the short notice. There is also one at ICFP which is months away.)<br><br></div>Here's the info:<br><a href="http://pldi17.sigplan.org/track/pldi-2017-workshops-and-tutorials">http://pldi17.sigplan.org/track/pldi-2017-workshops-and-tutorials</a><br></div>(The CakeML event is the last link on the program)<br><br></div>What's it about? See the following blurb:<br><div><div><div><div><div><br>Get a taste of program verification in CakeML at PLDI'17!<br><br>We are offering a tutorial for students, practitioners, and researchers alike<br>on writing and verifying programs in CakeML, the world's foremost verified ML<br>implementation. CakeML is a functional programming language and verification<br>ecosystem backed by the higher-order logic (HOL) theorem prover. We will show<br>you how to write useful programs in CakeML, prove their correctness, and<br>leverage the verified optimising CakeML compiler to obtain a trustworthy and<br>efficient executable.<br><br>In this tutorial, you will get hands-on experience with<br>  - writing programs in CakeML,<br>  - proving program specifications in HOL,<br>  - producing verified CakeML automatically from verified algorithms in HOL, and<br>  - interactively verifying imperative CakeML programs that do I/O.<br><br>Participants are expected to have some prior exposure to functional<br>programming, however no experience with interactive theorem proving or<br>verification is required. At the same time, there is plenty of scope for<br>verification experts to dive in and learn something new.<br><br></div><div>We will also run a half-day version of this tutorial at ICFP (in September) in Oxford.<br><br></div><div>Looking forward to possibly seeing some of you at one of these events!<br><br></div><div>Cheers,<br></div><div>Ramana<br></div></div></div></div></div></div>