Day of the 🐫 2022: OCaml in Academia and Industry

This website contains information about the academic and industrial event co-located with the Summer School on “Advanced programming techniques: the functional paradigm”, which will be celebrated on September 9, 2022.

This one-day hybrid workshop will bring together people from academia and industry to tell us about the recent advances and roadmap in the OCaml language, as well as to enlighten us with real examples of OCaml applied in industry.

Location

This workshop will take place on the Laboratorio de Aragón [Gobierno] Abierto, Plaza del Pilar nº3, edificio C, planta calle (50003 Zaragoza).

The event will be streamed live on the following Zoom webinar (passcode: 990826). Additionally, you can follow the event also streamed live on this Twitch channel.

Schedule

The program of the workshop is as follows:

Morning - Language session

• 09:00 to 10:00 - Welcome reception
  • Carmen Marta Lazo (Head of Summer School Courses, University of Zaragoza)
  • Darío Suárez (Secretary of CS Department, University of Zaragoza)
• 10:00 to 10:45 - Keynote: Gabriel Scherer (Inria)
  • The OCaml project and ecosystem - https://ocaml.org/
• 10:45 to 11:00 - Coffee break
• 11:00 to 12:00 - Roundtable and Q&A I: OCaml Developers’ Corner

Afternoon - Industry session

• 14:30 to 14:55 - Paul-Elliot Anglès (Tarides) - https://tarides.com/
  • Building functional systems
• 14:55 to 15:20 - Nicolás Ojeda Bär (LexiFi) - https://www.lexifi.com/
  • Modeling language for finance
• 15:20 to 15:45 - Javier Chávarri (Ahrefs) - https://ahrefs.com/
  • Petabyte-scale web crawler
• 15:45 to 16:10 - Grant Passmore (Imandra) - https://www.imandra.ai/
  • Automated reasoning as a service
• 16:10 to 16:30 - Coffee break
• 16.30 to 17:30 - Roundtable and Q&A II: OCaml Industry Experiences

Sponsors

This event is (partly) sponsored by the OCaml Software Foundation.