[ANN] Caml in the Capital - Registrations Open!

Community
1

Hi everyone !

We are excited to officially invite you to the first Caml in the Capital meetup!
We have two fantastic talks planned, some free pizza :pizza: generously sponsored by the OCaml Software Foundation :camel: and great company to chat with :grinning_face_with_smiling_eyes:

Registration link: HERE (Please register asap so we can anticipate)
Date: Thursday February 26th from 6:30pm to 8:30pm
Location: Imperial College London, Flowers Building, Room FLOW G.47A.

Talks

Compile-time Computation for Caml

by Jeremy Yallop

(Abstract TBD)

Dynamic Verification of OCaml Software with ORTAC/QCheck-STM

by Nikolaus Huber

In this talk I would like to introduce the QCheck-STM plugin for ORTAC, a framework for dynamic verification of OCaml code. ORTAC/QCheck-STM consumes OCaml module signatures annotated with contracts expressed in the Gospel language and generates code for automated runtime assertion checking from it. I will highlight some details of the implementation of the tool, the structure of the generated code, and on errors found in established OCaml libraries.

We are very much looking forward to meeting the OCaml community in London!

Cheers,
Alistair & Sacha

7 Likes
2

Sounds great! Are you planning to record the presentations? In any case, it is always nice if at least the slides (if there are any) are made available publicly.

Cheers,
Nicolas

2 Likes
3

We have the equipment in place to record! though whether we do record will be up to the speakers :slight_smile: Same for slides, if provided, we should be able to make them available to everyone

3 Likes