Vie à OCamlPro

[Interview] Sylvain Conchon rejoint OCamlPro

Sylvain Conchon vient de rejoindre OCamlPro en tant que Chief Scientific Officer Méthodes Formelles. Professeur à l’Université Paris-Saclay, il travaille dans le domaine de la démonstration automatique pour la preuve de programmes et le model checking pour systèmes paramétrés. Il est aussi le co-créateur d’Alt-Ergo. Recherche et industrie Sylvain, tu fréquentes de longue date le [Interview] Sylvain Conchon rejoint OCamlPro

2019 chez OCamlPro

OCamlPro a pour ambition d’aider les industriels dans leur adoption du langage OCaml et des méthodes formelles. L’entreprise est passée d’1 à 21 personnes et est restée fidèle à cet objectif. L’année 2019 chez OCamlPro a été très animée, et le nombre de réalisations impressionnant, d’abord dans le monde OCaml (flambda2 & optimisations du compilateur, 2019 chez OCamlPro

Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019

OCamlPro lance un cycle de formations régulières à OCaml, en français, dans ses locaux parisiens (métro Alésia). La première session aura lieu début novembre 2019, avec 2 formations: Formation débutant : passer à OCaml (5-6 novembre) Formation expert : approfondir sa maîtrise du langage (7-8 novembre). La formation expert sera l’occasion pour des programmeurs OCaml Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019