[ANN] Caml in the Capital - Registrations Open!

[giltho]

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 generously sponsored by the OCaml Software Foundation and great company to chat with

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

The Modular Macros project extends OCaml with new language features for compile-time computation and typed code quotations, allowing programmers to write high-level libraries that apply domain-specific optimizations to safely generate efficient low-level code.

Our design draws heavily on existing work in metaprogramming, taking inspiration from ideas that have been proven in practice in languages such as MetaOCaml, Template Haskell, and Racket. However, smooth and safe integration with OCaml’s existing features such as effect handlers and the module system poses some new challenges.

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

[nojb]

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

[giltho]

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

[giltho]

Hi everyone,

The first edition of Caml in the Capital is tomorrow!

Logistics

The meetup will start at 6:30pm.
There will be free pizza during the break in between the talks, generously offered by the OCaml Software Foundation.
If you reach the building but the entrance is closed, please ping us on Zulip! If you don’t have Zulip, we’ll keep an eye on this thread as well.
The building’s a bit hidden, see “Getting there” below

Live stream and recording

• (If everything goes well with the AV setup) Both talks will be live streamed on Zoom! We’ll put a link here at the start of the meetup.
• Nick’s talk will be recorded and will be made available online.
• We’ll make the slides available as well

Getting there

The Flowers Building is located at 168 Queen’s Gate, SW7 5HE.

• Take the tube to the Gloucester Road station (which is closer to the entrance than South Kensington).
• Reach the entrance of Imperial College Road
• Walk down that road, passed through the blue gates
• Turn right immediately after the gates
• The entrance building will be on your left.

See you all tomorrow,
The Caml in the Capital organisers.

[giltho]

Here is the link to the zoom meeting!

[giltho]

And here is the link to the recording!

We’d like to thank our speakers Jeremy and Nick again, as well as the ~30 attendees to the meetup! It was great having you, and we hope to see you again next time