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

Onderzoeksoutput: Bijdrage aan congres › Abstract › Academic

Samenvatting

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.

Originele taal-2	Engels
Status	Geaccepteerd/In druk - 28 jun. 2022
Evenement	The Coq Workshop 2022 - Haifa, Israël Duur: 12 aug. 2022 → 12 aug. 2022

Workshop

Workshop	The Coq Workshop 2022
Land/Regio	Israël
Stad	Haifa
Periode	12/08/22 → 12/08/22

Toegang tot document

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

Citeer dit

@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

Samenvatting

Workshop

Toegang tot document

Vingerafdruk

Citeer dit