[TYPES/announce] Summary of results from the Coq Community Survey 2022

formal publications may follow to complete the analysis of the results. Théo Zimmermann, for the Coq Community Survey 2022 working group

[TYPES/announce] Coq Community Survey 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear type theory enthusiasts who have used or are using the Coq proof assistant, The Coq team kindly requests your participation in the Coq community survey 2022, at the following URL:

[TYPES/announce] [Call for participation] The Coq workshop 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] July 5-6, the Internet. https://coq-workshop.gitlab.io/2020/ The Coq Workshop 2020 is part of IJCAR 2020 and the Paris Nord Summer of LoVe 2020. Registration is free of charge, but

[TYPES/announce] The Coq Workshop 2020: Second Call for Talk Proposals + COVID-19 update

(co-chairs): - Emilio J. Gallego Arias - Hugo Herbelin - Théo Zimmermann (Inria Paris, Université de Paris, France) [mail: coq2...@easychair.org]

[TYPES/announce] The Coq Workshop 2020: Call for Talk Proposals

): - Emilio J. Gallego Arias - Hugo Herbelin - Théo Zimmermann (Inria Paris, Université de Paris, France) [mail: coq2...@easychair.org]