|
CFP LFMTP26, Logical Frameworks and Meta-Languages: Theory and Practice @FLOC, Lisbon, Portugal, July 24
|
|
0
|
29
|
March 26, 2026
|
|
Volunteers for ICFP 2026 Artifact Evaluation Committee (AEC)
|
|
0
|
28
|
March 23, 2026
|
|
CfC: Syntax and Semantics of Type Theories 2026
|
|
0
|
13
|
March 23, 2026
|
|
MIT Programming Languages Review 2026
|
|
0
|
42
|
March 20, 2026
|
|
Feb 23: Proof Assistant WG at ENS de Lyon
|
|
1
|
115
|
March 18, 2026
|
|
March 23: Proof Assistant WG at ENS de Lyon
|
|
0
|
52
|
March 17, 2026
|
|
PhD Position in Programming Languages and Program Verification at Aarhus University (Deadline: May 1, 2026)
|
|
0
|
59
|
March 16, 2026
|
|
The first summer school on Programming Languages, Logic, and Software Security
|
|
0
|
51
|
March 13, 2026
|
|
Iris 4.5 and std++ 1.13 release
|
|
0
|
61
|
March 12, 2026
|
|
AIPV 2026
|
|
0
|
18
|
March 12, 2026
|
|
Top 100 Quantum Theorems
|
|
0
|
29
|
March 12, 2026
|
|
Permanent lecturer position at the University of Strathclyde
|
|
0
|
56
|
March 9, 2026
|
|
HoTT/UF 2026: Call for contributions
|
|
1
|
42
|
March 6, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
9
|
March 5, 2026
|
|
Package Release : Small Inversions
|
|
0
|
53
|
March 2, 2026
|
|
Workshop on Theorem proving components for Educational software ThEdu26 at FLoC, Lisbon, 19 July
|
|
0
|
15
|
February 28, 2026
|
|
Rocq Platform minor release 2025.08.2
|
|
0
|
10
|
February 26, 2026
|
|
Fifteenth Mathcomp sharing day
|
|
0
|
32
|
February 23, 2026
|
|
Rocq Proof Assistant Tutoring
|
|
0
|
76
|
February 15, 2026
|
|
TYPES 2026: Call for Participation
|
|
0
|
27
|
February 11, 2026
|
|
Rocq 9.2+rc2 has just been tagged
|
|
1
|
35
|
February 11, 2026
|
|
Event about the use of proof assistants for teaching in Orsay
|
|
2
|
50
|
February 10, 2026
|
|
Axiom - Professional Rocq IDE
|
|
10
|
182
|
February 9, 2026
|
|
Rocq Platform minor release 2025.08.1
|
|
0
|
15
|
February 9, 2026
|
|
Join us June 29-July 3 in Lausanne for Rocq'n'Share 2026!
|
|
0
|
78
|
February 4, 2026
|
|
Habilitation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026
|
|
0
|
83
|
January 28, 2026
|
|
ITP 2027-- Call for bids
|
|
0
|
40
|
January 27, 2026
|
|
Fourteenth Mathcomp sharing days
|
|
0
|
25
|
January 23, 2026
|
|
Post-doc position at Inria Rennes on AI and formal methods
|
|
0
|
45
|
January 20, 2026
|
|
Compiler and Verification Engineer Positions at Cryspen
|
|
0
|
105
|
January 17, 2026
|