[TYPES/announce] Day of the Camel 2022: OCaml in Academia and Industry (online, 9 September 2022)

Roberto Blanco roberto.blanco at csp.mpg.de
Fri Sep 2 03:31:22 EDT 2022

The Day of the Camel 2022 is a one-day hybrid workshop dedicated to the
OCaml programming language and its industrial users.

It comprises talks and discussions with members of the OCaml development
team and companies using the language to solve complex and interesting

We will present a broad picture of the OCaml ecosystem and, more widely,
of functional programming as a viable and powerful choice for building
correct and reliable computer systems.

The event is organized as part of an OCaml summer school at the
University of Zaragoza, and sponsored by the OCaml Software Foundation.

Participation is free and open to everyone. For more details about the
schedule, updates and links to the online seminar, see the website:


9 September 2022, all times CEST (UTC+2)

Morning - Language session

09:15-10:00: Welcome and reception
              Darío Suárez (CS Department Secretary, University of
10:00-11:00: Gabriel Scherer (Inria) - The OCaml project and ecosystem
11:00-11:30: Break
11:30-12:30: OCaml developers - Round table and Q&A

Afternoon - Industry session

14:30-14:55: Paul-Elliot Anglès d'Auriac (Tarides)
              https://urldefense.com/v3/__https://tarides.com/__;!!IBzWLUs!TBPOf24TB1syiCfMFmR9vYJLQUgaWfeDkUBWvfFZvsrq0xb7G465uib7PodpzR_DEsNaSXTeY8b1lFqmp5YCcxF4yw5dGOMDJ1kvCmeC_qs$   - Building functional systems
14:55-15:20: Nicolás Ojeda Bär (LexiFi)
              https://urldefense.com/v3/__https://www.lexifi.com/__;!!IBzWLUs!TBPOf24TB1syiCfMFmR9vYJLQUgaWfeDkUBWvfFZvsrq0xb7G465uib7PodpzR_DEsNaSXTeY8b1lFqmp5YCcxF4yw5dGOMDJ1kvzG3uNCk$   - Modeling language for finance
15:20-15:45: Javier Chávarri (Ahrefs)
              https://urldefense.com/v3/__https://ahrefs.com/__;!!IBzWLUs!TBPOf24TB1syiCfMFmR9vYJLQUgaWfeDkUBWvfFZvsrq0xb7G465uib7PodpzR_DEsNaSXTeY8b1lFqmp5YCcxF4yw5dGOMDJ1kvrqoNmoE$   - Petabyte-scale web crawler
15:45-16:10: Grant Passmore (Imandra)
              https://urldefense.com/v3/__https://www.imandra.ai/__;!!IBzWLUs!TBPOf24TB1syiCfMFmR9vYJLQUgaWfeDkUBWvfFZvsrq0xb7G465uib7PodpzR_DEsNaSXTeY8b1lFqmp5YCcxF4yw5dGOMDJ1kvlgIxBs4$   - Automated reasoning as a service
16:10-16:30: Break
16:30-17:30: Industry speakers - Round table and Q&A

We look forward to seeing you there!

More information about the Types-announce mailing list