|
NWPT 2026, Second Call for Contributions
|
|
0
|
38
|
July 21, 2026
|
|
Seventeenth Mathcomp sharing day
|
|
0
|
111
|
July 8, 2026
|
|
Proof assistants for Teaching Proof and Proving 2026, Orsay, 29 June - 3 July 2026
|
|
2
|
126
|
June 29, 2026
|
|
2nd CFP: Tribute to Gilles Dowek workshop - July 18th, FLoC 26, Lisbon, Portugal
|
|
0
|
94
|
June 24, 2026
|
|
Caching the entire Rocq package set with GitHub Actions
|
|
2
|
140
|
June 18, 2026
|
|
Blockchain formal verification @ category labs
|
|
0
|
175
|
June 6, 2026
|
|
Richard Bird Distinguished Dissertation Award
|
|
0
|
36
|
June 3, 2026
|
|
Rocq'n'Share 2026: happening in one month!
|
|
0
|
106
|
May 30, 2026
|
|
News Rocq Platform Docs
|
|
2
|
117
|
May 29, 2026
|
|
PLMW @ ICFP call for funding applications
|
|
0
|
47
|
May 29, 2026
|
|
Permanent researcher position at Mines Paris - PSL
|
|
0
|
80
|
May 29, 2026
|
|
Technical Associate positoin at the AI for Math Fund
|
|
0
|
87
|
May 29, 2026
|
|
TyDe 2026 - Call for Papers
|
|
0
|
38
|
May 20, 2026
|
|
Call for Presentations: ML Family Workshop 2026
|
|
0
|
19
|
May 20, 2026
|
|
Sixteenth Mathcomp sharing day
|
|
0
|
34
|
May 18, 2026
|
|
CfC: The Rocqshop 2026
|
|
2
|
125
|
May 18, 2026
|
|
NWPT 2026, First Call for Papers
|
|
0
|
20
|
May 18, 2026
|
|
Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon
|
|
1
|
63
|
May 1, 2026
|
|
CfC: DIALOCO Workshop
|
|
1
|
65
|
April 30, 2026
|
|
Milestone Prize for Foundational Work in Formal Verification
|
|
0
|
74
|
April 30, 2026
|
|
Horn Clauses for Verification and Synthesis (HCVS), FLOC 2026 - 2nd CFP
|
|
0
|
27
|
April 23, 2026
|
|
First release of marble
|
|
0
|
53
|
April 22, 2026
|
|
Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026
|
|
1
|
76
|
April 20, 2026
|
|
A Website for searching theorems and definitions in Rocq projects
|
|
0
|
45
|
April 17, 2026
|
|
Rocq Platform minor release 2025.08.3
|
|
0
|
30
|
April 16, 2026
|
|
New proof assistant working group at ENS de Lyon
|
|
4
|
342
|
April 15, 2026
|
|
April 20: Proof Assistant Seminar at ENS de Lyon
|
|
0
|
81
|
April 15, 2026
|
|
2nd CFP - LFMTP 2026 Logical Frameworks and Meta-Languages: Theory and Practice , Lisbon July 24
|
|
0
|
31
|
April 13, 2026
|
|
Call for applications for the first Summer School on Programming Languages, Logic, and Software Security Click to teach Gmail that this conversation is important
|
|
0
|
41
|
April 10, 2026
|
|
Rocq 9.2.0 released
|
|
0
|
56
|
April 7, 2026
|