• Organization
• Participants
• Talks
• Enrico about Opam
• Pierre about extraction with Prop subset of Type
• Yves about a consortium