[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