Meetup d'octobre

Le prochain OUPS aura lieu lundi 1er octobre. Le rendez-vous est fixé à 19h. Le programme sera habituel, exposés suivis d'une discussion autour d'un pot avec des pizzas.

Ce meetup aura lieu dans les locaux de L'IRILL à Jussieu. Pour accéder à la salle, il faut aller à la colonne 15 ou 16, monter un étage et accéder au couloir 15-16. Le OUPS se déroulera a priori dans la salle 101. (Voir aussi sur le site de IRILL (https://www.irill.org/pages/access.html).)

L'inscription est obligatoire pour pouvoir accéder au meetup ! Votre nom complet doit être disponible. Merci de vous inscrire avant le dimanche 30 septembre 13h.

Les exposés seront les suivants:

• Berke Durak sur OCaml dans l'espace : Embarqué et calcul scientifique

• Armaël Guéneau sur Preuves de complexité de programmes OCaml avec CFML

• Paul Laforgue sur OCaml étendu avec du filtrage par comotifs.

Je profite de l'occasion pour rappeler que nous sommes toujours en demande de propositions d'exposés sur les sujets de votre choix pour les meetups suivants.