• Organisation
• Talking points
• Participants
• Guardness
• Primitive integers
• Native compilation
• Ideslave protocol status
• Options -R, -I and -L
• Tactic "instantiate"
• Other points
• Status of migrating coq web services