Rocq Call 2026 11 10 - rocq-prover/rocq GitHub Wiki
- 16:00 Paris time (currently CET or UTC+1:00)
- https://rendez-vous.renater.fr/rocq-call
Topics
- AI policy validation (Nicolas & Matthieu, 10min)
- Update on algebraic universes in mono/poly mode (Matthieu, 10min)
Roles
- Chairman:
- Secretary:
- Attending: