|
About the CFPs category
|
|
0
|
15
|
September 9, 2025
|
|
NWPT 2026, Final Call for Contributions
|
|
0
|
16
|
September 15, 2026
|
|
JFLA 2027: Second Appel à Communications
|
|
0
|
30
|
September 8, 2026
|
|
NWPT 2026, Second Call for Contributions
|
|
0
|
35
|
July 21, 2026
|
|
CFP - CPP 2027 - Certified Programs and Proofs
|
|
0
|
130
|
June 29, 2026
|
|
2nd CFP: Tribute to Gilles Dowek workshop - July 18th, FLoC 26, Lisbon, Portugal
|
|
0
|
87
|
June 24, 2026
|
|
Call for Presentations: ML Family Workshop 2026
|
|
0
|
18
|
May 20, 2026
|
|
CfC: The Rocqshop 2026
|
|
2
|
113
|
May 18, 2026
|
|
NWPT 2026, First Call for Papers
|
|
0
|
19
|
May 18, 2026
|
|
Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon
|
|
1
|
55
|
May 1, 2026
|
|
CfC: DIALOCO Workshop
|
|
1
|
64
|
April 30, 2026
|
|
Horn Clauses for Verification and Synthesis (HCVS), FLOC 2026 - 2nd CFP
|
|
0
|
19
|
April 23, 2026
|
|
CfC: Syntax and Semantics of Type Theories 2026
|
|
0
|
23
|
March 23, 2026
|
|
AIPV 2026
|
|
0
|
31
|
March 12, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
50
|
March 5, 2026
|
|
Workshop on Theorem proving components for Educational software ThEdu26 at FLoC, Lisbon, 19 July
|
|
0
|
40
|
February 28, 2026
|
|
FMBC CFP
|
|
0
|
62
|
December 2, 2025
|