Coq Community Survey 2022: Summary of Results

Ana de Almeida Borges; Jean-Rémy Falleri; Jim Fehrle; Emilio Jesús Gallego Arias; Érik Martin-Dorel; Karl Palmskog; Alexander Serebrenik; Théo Zimmermann

Coq Community Survey 2022: Summary of Results

Ana de Almeida Borges, Jean-Rémy Falleri, Jim Fehrle, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann

Software Engineering and Technology

Research output: Contribution to conference › Abstract › Academic

Abstract

The Coq Community Survey 2022 was an online public survey conducted during February 2022. Its main goal was to obtain an updated picture of the Coq user community and inform future decisions taken by the Coq team. In particular, the survey aimed to enable the Coq team to make effective decisions about the development of the Coq software, and also about matters that pertain to the ecosystem maintained by Coq users in academia and industry.

In this presentation abstract, we outline how the survey was designed, its content, and some initial data analysis and directions. Not least due to free-text answers to some questions requiring a more lengthy summary, the full presentation includes additional data and conclusions.

Original language	English
Publication status	Accepted/In press - 28 Jun 2022
Event	The Coq Workshop 2022 - Haifa, Israel Duration: 12 Aug 2022 → 12 Aug 2022

Workshop

Workshop	The Coq Workshop 2022
Country/Territory	Israel
City	Haifa
Period	12/08/22 → 12/08/22

Access to Document

https://www.win.tue.nl/~aserebre/Coq2022.pdf

Cite this

@conference{04e0524ed9924a3ab316317f62d508fb,

title = "Coq Community Survey 2022: Summary of Results",

abstract = "The Coq Community Survey 2022 was an online public survey conducted during February 2022. Its main goal was to obtain an updated picture of the Coq user community and inform future decisions taken by the Coq team. In particular, the survey aimed to enable the Coq team to make effective decisions about the development of the Coq software, and also about matters that pertain to the ecosystem maintained by Coq users in academia and industry.In this presentation abstract, we outline how the survey was designed, its content, and some initial data analysis and directions. Not least due to free-text answers to some questions requiring a more lengthy summary, the full presentation includes additional data and conclusions.",

author = "{de Almeida Borges}, Ana and Jean-R{\'e}my Falleri and Jim Fehrle and {Gallego Arias}, {Emilio Jes{\'u}s} and {\'E}rik Martin-Dorel and Karl Palmskog and Alexander Serebrenik and Th{\'e}o Zimmermann",

year = "2022",

month = jun,

day = "28",

language = "English",

note = "The Coq Workshop 2022 ; Conference date: 12-08-2022 Through 12-08-2022",

}

TY - CONF

T1 - Coq Community Survey 2022: Summary of Results

AU - de Almeida Borges, Ana

AU - Falleri, Jean-Rémy

AU - Fehrle, Jim

AU - Gallego Arias, Emilio Jesús

AU - Martin-Dorel, Érik

AU - Palmskog, Karl

AU - Serebrenik, Alexander

AU - Zimmermann, Théo

PY - 2022/6/28

Y1 - 2022/6/28

N2 - The Coq Community Survey 2022 was an online public survey conducted during February 2022. Its main goal was to obtain an updated picture of the Coq user community and inform future decisions taken by the Coq team. In particular, the survey aimed to enable the Coq team to make effective decisions about the development of the Coq software, and also about matters that pertain to the ecosystem maintained by Coq users in academia and industry.In this presentation abstract, we outline how the survey was designed, its content, and some initial data analysis and directions. Not least due to free-text answers to some questions requiring a more lengthy summary, the full presentation includes additional data and conclusions.

AB - The Coq Community Survey 2022 was an online public survey conducted during February 2022. Its main goal was to obtain an updated picture of the Coq user community and inform future decisions taken by the Coq team. In particular, the survey aimed to enable the Coq team to make effective decisions about the development of the Coq software, and also about matters that pertain to the ecosystem maintained by Coq users in academia and industry.In this presentation abstract, we outline how the survey was designed, its content, and some initial data analysis and directions. Not least due to free-text answers to some questions requiring a more lengthy summary, the full presentation includes additional data and conclusions.

M3 - Abstract

T2 - The Coq Workshop 2022

Y2 - 12 August 2022 through 12 August 2022

ER -

Coq Community Survey 2022: Summary of Results

Abstract

Workshop

Access to Document

Fingerprint

Cite this