[TYPES/announce] Day of the Camel 2023: OCaml in Academia and Industry (online, 20 July 2023)

Roberto Blanco roberto.blanco at csp.mpg.de
Fri Jul 14 07:22:27 EDT 2023


The Day of the Camel 2023 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, as well as companies using the language to solve complex and
interesting problems.

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 the second edition of our OCaml summer
school at the University of Zaragoza, generously sponsored by the OCaml
Software Foundation.

Participation is free and open to everyone. The workshop will be
streamed on Zoom (passcode: 247844) and Twitch.

https://us06web.zoom.us/j/89373710207?pwd=ZGZuSnBFWEhSc2UzNnpSbWF4d0hzZz09

20 July 2023, all times CEST (UTC+2)

Morning - Language session

09:00-09:30: Welcome reception
              Carmen Lazo and José Merseguer (University of Zaragoza)
09:30-10:30: Florian Angeletti (Inria) - The OCaml project and ecosystem
              https://urldefense.com/v3/__https://ocaml.org/__;!!IBzWLUs!R2SOw8hf1JN63y7OtGcAwINu9CvyZ_jiMpcqQApKKo4kSuAl1DEl8qUeJDxeJk7GzOn5fC-KSIvXrlfv_NB0SLwsYjAMG7kfE0pJ_VseOWM$ 
10:30-11:00: Coffee break
11:00-12:00: OCaml developers - Round table and Q&A

Afternoon - Industry session

14:30-14:55: Vincent Balat (Tarides and Be Sport)
              https://urldefense.com/v3/__https://tarides.com/__;!!IBzWLUs!R2SOw8hf1JN63y7OtGcAwINu9CvyZ_jiMpcqQApKKo4kSuAl1DEl8qUeJDxeJk7GzOn5fC-KSIvXrlfv_NB0SLwsYjAMG7kfE0pJiPkvR3E$  - Building functional systems
              https://urldefense.com/v3/__https://www.besport.com/__;!!IBzWLUs!R2SOw8hf1JN63y7OtGcAwINu9CvyZ_jiMpcqQApKKo4kSuAl1DEl8qUeJDxeJk7GzOn5fC-KSIvXrlfv_NB0SLwsYjAMG7kfE0pJqSEJ2jI$  - Social network for sports
14:55-15:20: Javier Chávarri (Ahrefs)
              https://urldefense.com/v3/__https://ahrefs.com/__;!!IBzWLUs!R2SOw8hf1JN63y7OtGcAwINu9CvyZ_jiMpcqQApKKo4kSuAl1DEl8qUeJDxeJk7GzOn5fC-KSIvXrlfv_NB0SLwsYjAMG7kfE0pJJZG_BIc$  - Petabyte-scale web crawler
15:20-15:45: Raphaël Proust (Nomadic Labs)
              https://urldefense.com/v3/__https://www.nomadic-labs.com/__;!!IBzWLUs!R2SOw8hf1JN63y7OtGcAwINu9CvyZ_jiMpcqQApKKo4kSuAl1DEl8qUeJDxeJk7GzOn5fC-KSIvXrlfv_NB0SLwsYjAMG7kfE0pJRD6NT7o$ 
              - Tezos blockchain development
15:45-16:10: Chris Casinghino (Jane Street)
              https://urldefense.com/v3/__https://www.janestreet.com/__;!!IBzWLUs!R2SOw8hf1JN63y7OtGcAwINu9CvyZ_jiMpcqQApKKo4kSuAl1DEl8qUeJDxeJk7GzOn5fC-KSIvXrlfv_NB0SLwsYjAMG7kfE0pJbSxEx9A$ 
              - Large-scale quantitative trading
16:10-16:30: Coffee break
16:30-17:30: Industrial users - Round table and Q&A

For more details about the schedule, updates and links, see the website:

https://urldefense.com/v3/__https://webdiis.unizar.es/evpf/event.html__;!!IBzWLUs!R2SOw8hf1JN63y7OtGcAwINu9CvyZ_jiMpcqQApKKo4kSuAl1DEl8qUeJDxeJk7GzOn5fC-KSIvXrlfv_NB0SLwsYjAMG7kfE0pJPzbeeR0$ 

We look forward to seeing you there!


More information about the Types-announce mailing list