OUPS Avril 2025

ATTENTION: l'horaire et le lieu ont été modifiés par rapport aux éditions précédentes (à l'ENS Ulm au lieu de Jussieu, à 18h30 au lieu de 19h)

Le prochain OUPS aura lieu le jeudi 24 avril 2025. Le rendez-vous est fixé à 18h30 au 45 rue d'Ulm, "Salle des résistants", 1er étage dans les couloirs du carré (le bâtiment principal).

L'inscription est obligatoire pour pouvoir accéder au meetup !
Les exposés seront également retransmis en ligne sur le galène du OUPS.
Toutes les informations sont disponibles sur le site du OUPS.

Programme :

A translation of OCaml programs from Gospel to Viper -- Charlène Gros

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

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.

***

Les présentations seront suivies par des discussions libres. Les pizzas seront offertes par la fondation OCaml !