Community
The Community team is responsible for managing forums, social media, and community events.
Teams
Code of Conduct Enforcement
The Code of Conduct Enforcement team is responsible for enforcing the Code of Conduct across all Rocq project spaces.
Code of Conduct Enforcement Team
Matthieu Sozeau
Member
mattam82
Cyril Cohen
Member
CohenCyril
Théo Zimmermann
Member
Zimmi48
Nicolas Tabareau
Member
tabareau
Discourse administration and moderation
The Discourse team is responsible for the administration and moderation of the Rocq Discourse forum.
Théo Zimmermann
Admin
Zimmi48
Yannick Forster
Moderator
yforster
Yishuai Li
Moderator
liyishuai
Emilio Jesús Gallego Arias
Moderator
ejgallego
Zulip administration and moderation
The Zulip team is responsible for the administration and moderation of the Rocq Zulip chat. Moderators on Zulip are in charge of moving discussions to appropriate streams and topics.
Cyril Cohen
Admin
CohenCyril
Théo Zimmermann
Admin
Zimmi48
Ali Caglayan
Moderator
Alizter
Emilio Jesús Gallego Arias
Moderator
ejgallego
Thomas Lamiaux
Moderator
thomas-lamiaux
Karl Palmskog
Moderator
palmskog
Michael Soegtrop
Moderator
MSoegtropIMC
Workshops
The Workshops Steering Committee is responsible for organizing and coordinating the Rocq workshops (Rocqshop and RocqPL).
Théo Winterhalter
Chair
TheoWinterhalter
Matthieu Sozeau
Member of the dev team
mattam82
Pierre Boutry
Former Rocqshop chair
Boutry
Benjamin Delawere
Former RocqPL chair
bendy