|
MITACS Undergrad Research Internships - 2027 Applications Open
|
|
0
|
70
|
August 7, 2026
|
|
Rocq Platform release 2026.07.0 with Rocq 9.1
|
|
0
|
55
|
August 6, 2026
|
|
JFLA2027 : Premier appel à communications
|
|
3
|
96
|
August 5, 2026
|
|
Sherlocoq: Search released coq source-code
|
|
5
|
620
|
August 3, 2026
|
|
Rocq 9.3+rc1 is out
|
|
2
|
116
|
July 28, 2026
|
|
Tree-sitter grammar for Rocq
|
|
0
|
148
|
July 27, 2026
|
|
NWPT 2026, Second Call for Contributions
|
|
0
|
45
|
July 21, 2026
|
|
Seventeenth Mathcomp sharing day
|
|
0
|
122
|
July 8, 2026
|
|
Proof assistants for Teaching Proof and Proving 2026, Orsay, 29 June - 3 July 2026
|
|
2
|
140
|
June 29, 2026
|
|
2nd CFP: Tribute to Gilles Dowek workshop - July 18th, FLoC 26, Lisbon, Portugal
|
|
0
|
103
|
June 24, 2026
|
|
Caching the entire Rocq package set with GitHub Actions
|
|
2
|
157
|
June 18, 2026
|
|
Blockchain formal verification @ category labs
|
|
0
|
192
|
June 6, 2026
|
|
Richard Bird Distinguished Dissertation Award
|
|
0
|
43
|
June 3, 2026
|
|
Rocq'n'Share 2026: happening in one month!
|
|
0
|
113
|
May 30, 2026
|
|
News Rocq Platform Docs
|
|
2
|
129
|
May 29, 2026
|
|
PLMW @ ICFP call for funding applications
|
|
0
|
55
|
May 29, 2026
|
|
Permanent researcher position at Mines Paris - PSL
|
|
0
|
95
|
May 29, 2026
|
|
Technical Associate positoin at the AI for Math Fund
|
|
0
|
95
|
May 29, 2026
|
|
TyDe 2026 - Call for Papers
|
|
0
|
48
|
May 20, 2026
|
|
Call for Presentations: ML Family Workshop 2026
|
|
0
|
25
|
May 20, 2026
|
|
Sixteenth Mathcomp sharing day
|
|
0
|
40
|
May 18, 2026
|
|
CfC: The Rocqshop 2026
|
|
2
|
138
|
May 18, 2026
|
|
NWPT 2026, First Call for Papers
|
|
0
|
27
|
May 18, 2026
|
|
Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon
|
|
1
|
70
|
May 1, 2026
|
|
CfC: DIALOCO Workshop
|
|
1
|
73
|
April 30, 2026
|
|
Milestone Prize for Foundational Work in Formal Verification
|
|
0
|
79
|
April 30, 2026
|
|
Horn Clauses for Verification and Synthesis (HCVS), FLOC 2026 - 2nd CFP
|
|
0
|
34
|
April 23, 2026
|
|
First release of marble
|
|
0
|
59
|
April 22, 2026
|
|
Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026
|
|
1
|
86
|
April 20, 2026
|
|
A Website for searching theorems and definitions in Rocq projects
|
|
0
|
49
|
April 17, 2026
|