|
Sixteenth Mathcomp sharing day
|
|
0
|
28
|
May 18, 2026
|
|
CfC: The Rocqshop 2026
|
|
2
|
105
|
May 18, 2026
|
|
NWPT 2026, First Call for Papers
|
|
0
|
18
|
May 18, 2026
|
|
Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon
|
|
1
|
51
|
May 1, 2026
|
|
CfC: DIALOCO Workshop
|
|
1
|
62
|
April 30, 2026
|
|
Milestone Prize for Foundational Work in Formal Verification
|
|
0
|
68
|
April 30, 2026
|
|
Horn Clauses for Verification and Synthesis (HCVS), FLOC 2026 - 2nd CFP
|
|
0
|
17
|
April 23, 2026
|
|
First release of marble
|
|
0
|
44
|
April 22, 2026
|
|
Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026
|
|
1
|
69
|
April 20, 2026
|
|
A Website for searching theorems and definitions in Rocq projects
|
|
0
|
44
|
April 17, 2026
|
|
Rocq Platform minor release 2025.08.3
|
|
0
|
25
|
April 16, 2026
|
|
New proof assistant working group at ENS de Lyon
|
|
4
|
315
|
April 15, 2026
|
|
April 20: Proof Assistant Seminar at ENS de Lyon
|
|
0
|
67
|
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
|
40
|
April 10, 2026
|
|
Rocq 9.2.0 released
|
|
0
|
44
|
April 7, 2026
|
|
FLoC'26 workshop - Tribute to Gilles Dowek - Call for talks
|
|
0
|
26
|
April 7, 2026
|
|
CFP LFMTP26, Logical Frameworks and Meta-Languages: Theory and Practice @FLOC, Lisbon, Portugal, July 24
|
|
0
|
38
|
March 26, 2026
|
|
Volunteers for ICFP 2026 Artifact Evaluation Committee (AEC)
|
|
0
|
41
|
March 23, 2026
|
|
CfC: Syntax and Semantics of Type Theories 2026
|
|
0
|
23
|
March 23, 2026
|
|
MIT Programming Languages Review 2026
|
|
0
|
49
|
March 20, 2026
|
|
Feb 23: Proof Assistant WG at ENS de Lyon
|
|
1
|
131
|
March 18, 2026
|
|
March 23: Proof Assistant WG at ENS de Lyon
|
|
0
|
60
|
March 17, 2026
|
|
PhD Position in Programming Languages and Program Verification at Aarhus University (Deadline: May 1, 2026)
|
|
0
|
79
|
March 16, 2026
|
|
The first summer school on Programming Languages, Logic, and Software Security
|
|
0
|
83
|
March 13, 2026
|
|
Iris 4.5 and std++ 1.13 release
|
|
0
|
93
|
March 12, 2026
|
|
AIPV 2026
|
|
0
|
28
|
March 12, 2026
|
|
Top 100 Quantum Theorems
|
|
0
|
34
|
March 12, 2026
|
|
Permanent lecturer position at the University of Strathclyde
|
|
0
|
103
|
March 9, 2026
|
|
HoTT/UF 2026: Call for contributions
|
|
1
|
83
|
March 6, 2026
|