Meetup de février

Le prochain OUPS aura lieu mardi 21 février. 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 lundi 20 février 13h.

Les exposés seront les suivants:

• Jacques Garrigue sur GADTs et cas absents : à la recherche de l'impossible

• Vincent Balat sur Ocsigen Start : créer rapidement des applications web et mobile en OCaml

• Benoit Rognier sur Edukera : une application web pour enseigner les mathématiques

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.