|
CfC: DIALOCO Workshop
|
|
0
|
14
|
March 5, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
8
|
March 5, 2026
|
|
Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon
|
|
0
|
20
|
March 3, 2026
|
|
Package Release : Small Inversions
|
|
0
|
50
|
March 2, 2026
|
|
Workshop on Theorem proving components for Educational software ThEdu26 at FLoC, Lisbon, 19 July
|
|
0
|
12
|
February 28, 2026
|
|
Rocq Platform minor release 2025.08.2
|
|
0
|
10
|
February 26, 2026
|
|
Fifteenth Mathcomp sharing day
|
|
0
|
29
|
February 23, 2026
|
|
Rocq Proof Assistant Tutoring
|
|
0
|
75
|
February 15, 2026
|
|
TYPES 2026: Call for Participation
|
|
0
|
23
|
February 11, 2026
|
|
Rocq 9.2+rc2 has just been tagged
|
|
1
|
33
|
February 11, 2026
|
|
Event about the use of proof assistants for teaching in Orsay
|
|
2
|
50
|
February 10, 2026
|
|
Axiom - Professional Rocq IDE
|
|
10
|
177
|
February 9, 2026
|
|
Rocq Platform minor release 2025.08.1
|
|
2
|
14
|
February 25, 2026
|
|
Join us June 29-July 3 in Lausanne for Rocq'n'Share 2026!
|
|
0
|
70
|
February 4, 2026
|
|
Habilitation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026
|
|
0
|
82
|
January 28, 2026
|
|
ITP 2027-- Call for bids
|
|
0
|
35
|
January 27, 2026
|
|
Fourteenth Mathcomp sharing days
|
|
0
|
25
|
January 23, 2026
|
|
Post-doc position at Inria Rennes on AI and formal methods
|
|
0
|
39
|
January 20, 2026
|
|
Compiler and Verification Engineer Positions at Cryspen
|
|
2
|
95
|
January 21, 2026
|
|
Assistant professor position at Télécom Paris "Formal Methods at the crossroads of Hardware and Software"
|
|
0
|
65
|
January 9, 2026
|
|
Security Foundations (new volume of Software Foundations)
|
|
0
|
42
|
January 8, 2026
|
|
Several fully funded PhD and Postdoc positions in Quantum
|
|
0
|
58
|
December 17, 2025
|
|
Associate/Assistant professorships in Copenhagen or Aalborg at Aalborg University
|
|
0
|
43
|
December 16, 2025
|
|
Post doc position available at University of North Carolina Charlotte, USA
|
|
0
|
139
|
December 9, 2025
|
|
UK home fees PhD position in Mathematically Structured Programming at Strathclyde
|
|
2
|
85
|
December 7, 2025
|
|
First release of `rocqblueprint` tool for building formalization blueprints
|
|
0
|
75
|
December 5, 2025
|
|
FMBC CFP
|
|
0
|
28
|
December 2, 2025
|
|
PhD positions in Automated and Foundational Verification at ISTA
|
|
0
|
80
|
November 27, 2025
|
|
"Numerical Computations and Proofs: from Proof-Assistants to Aerospace Applications" (habil. defense, December 1st)
|
|
1
|
88
|
November 24, 2025
|
|
Thirteenth Mathcomp sharing day
|
|
0
|
52
|
November 24, 2025
|