The JFLA (French for Journées Francophones des Langages Applicatifs) is a yearly meeting of both academics and industrials that share a common interest on functional programming - and incidently, software verification.
Industry side, companies OCamlpro, Mitshubishi Electric, TrustInSoft were present. From the academia, people from Formal Methods Laboratory, ENSIIE and INRIA were attending.
We gave a 15-minute presentation of CAISAR, available here (in French). The relevant publication is available here (also in French).
It was a real pleasure to receive constructive feedback, both by industrial and academic actors; as it will inform our current and future work on the platform.