From : Matthieu Sozeau <matthieu.sozeau AT inria.fr>

: Matthieu Sozeau <matthieu.sozeau AT inria.fr> To : Coq Club <coq-club AT inria.fr>

: Coq Club <coq-club AT inria.fr> Subject : [Coq-Club] *** Coq survey *** (DEADLINE January 15th)

: [Coq-Club] *** Coq survey *** (DEADLINE January 15th) Date: Tue, 24 Dec 2013 12:05:48 +0100

[Coq-Club] *** Coq survey *** (DEADLINE January 15th), Matthieu Sozeau, 12/24/2013

Dear all,on behalf of the Coq developers, I’d like to invite everyone to respondto a survey on their usage of Coq, its programming and provingenvironment, development model, shortcomings and future directions. Thissurvey aims at gathering important information about Coq's users anduses. The results will be used to better understand users' needs, andhelp decide in which direction Coq’s development should go. It is reallyimportant for us to get as many answers as possible before *** January15th 2014 ***. We are also taking this occasion to collaboratively builda bibliography of Coq-related papers. The survey’s results will besynthesized, anonymized and made publicly available in february.The estimated burden time for this survey is around 30 minutes. Thesurvey is available online at:This survey was mainly prepared by Thomas Braibant, assisted by EnricoTassi, thanks to them for giving us all an occasion to take a step backand reflect on Coq’s future.Happy holidays,— Matthieu, for the Coq team.