CAUTION: the time has been changed from 7pm to 6:30pm and it will be at ENS Ulm instead of Jussieu
The next OUPS meetup will take place on Thursday, 24th of April 2025. It will start at 6:30pm at the 45 rue d’Ulm in Paris. It will be in the in the Salle des résistants (first floor in the “couloir du carré”).
Please, register on meetup as soon as possible to let us know how many pizza we should order.
For more details, you may check the OUPS’ website .
This time we’ll have the following talks:
A translation of OCaml programs from Gospel to Viper – Charlène Gros
Abstract
Presentation of a translation of OCaml programs specified in Gospel into Viper, an intermediate verification language supporting separation logic.
The practical goal is to add a new backend to Cameleer to verify OCaml programs that manipulate the heap.
The logical specification of such OCaml programs is described in the Gospel language, and we detail the extensions made to support separation logic in Viper.
Melange and TEA library for Web frontends in OCaml – Pierre de Lacroix
Abstract
Pierre will talk about its journey to avoid JavaScript, and why he ended up using Melange and an Elm Application library to write a Single-Page Application.
After the talks there will be some pizzas offered by the OCaml Software Foundation and later on we’ll move to a pub nearby as usual.