Latest Announcements topics

Topic	Replies	Views	Activity
Some advice on how to subscribe to the activity on Discourse By default, when you create an account on Discourse, you are set to receive summary e-mails every week and notification e-mails when someone replies to you. You can edit these settings in your personal preferences and fi…	3	1036	July 21, 2020
About the Announcements category	1	558	February 12, 2019
Welcome to Discourse	1	964	February 10, 2019
[ANN] Bignums release 9.0.0	0	27	March 20, 2023
PhD position at Inria / Nantes Université (France) jobs	0	83	March 4, 2023
[CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!	2	91	March 2, 2023
Coq Community Survey 2022 Results: Part II	0	846	August 3, 2022
Coq Community Survey 2022 Results: Part I	0	2019	July 13, 2022
[ANN] coq-lsp release 0.1.5 serapi , coq-lsp , ui	0	137	February 15, 2023
Certified Elm web apps	2	427	February 2, 2023
MathComp 1.16.0 released	0	74	February 2, 2023
Volunteer co-maintainer needed for Docker-Coq	0	55	January 17, 2023
Coq Platform 2022.09.1 release with Coq 8.16.1	0	49	January 17, 2023
VsCoq 0.3.7 is out	0	168	January 11, 2023
Verification Jobs @ Cryspen (France/Germany) jobs	0	106	January 11, 2023
Coq LSP release 0.1.2	1	110	January 9, 2023
Job offer - postdoc position in Inria Sophia Antipolis jobs	1	94	January 3, 2023
MathComp Workshop and Winter School (Dec 5-9 2022) - last call	0	173	November 18, 2022
ProofGeneral release 4.5	1	216	November 15, 2022
PhD Position on Certified Extraction in Nantes jobs	0	839	September 8, 2020
Research internships at MPI jobs	0	582	December 11, 2020
PhD position in HoTT/UF at TU Delft jobs	0	385	June 7, 2021
Job opening: visiting research programmer, machine learning for Coq jobs	0	349	March 12, 2022
PhD student position on proof theory and verification of legal software in Coq, Barcelona (Deadline: April 3rd, AoE) jobs	0	298	March 29, 2022
Full-time positions in formalized mathematics at Düsseldorf jobs	0	276	June 23, 2022
Two positions at the University of Bonn in the field of formal mathematics and computer assisted theorem proving jobs	0	186	October 5, 2022
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University jobs	0	133	October 12, 2022
Postdoc and Internship positions at IBM Research jobs	0	286	October 14, 2022
Interval 4.6, now with decimal enclosures and floating-point rounding operators	0	96	October 27, 2022
MathComp Workshop and Winter School (Dec 5-9 2022) - second call	0	140	October 12, 2022

Some advice on how to subscribe to the activity on Discourse

By default, when you create an account on Discourse, you are set to receive summary e-mails every week and notification e-mails when someone replies to you. You can edit these settings in your personal preferences and fi…