|
About the CFPs category
|
|
0
|
18
|
September 9, 2025
|
|
NWPT 2026: Deadline Extension Until October 10th
|
|
0
|
6
|
October 6, 2026
|
|
JFLA2027 : Dernier appel à communications
|
|
0
|
17
|
October 6, 2026
|
|
NWPT 2026, Final Call for Contributions
|
|
0
|
29
|
September 15, 2026
|
|
JFLA 2027: Second Appel à Communications
|
|
0
|
45
|
September 8, 2026
|
|
NWPT 2026, Second Call for Contributions
|
|
0
|
38
|
July 21, 2026
|
|
CFP - CPP 2027 - Certified Programs and Proofs
|
|
0
|
142
|
June 29, 2026
|
|
2nd CFP: Tribute to Gilles Dowek workshop - July 18th, FLoC 26, Lisbon, Portugal
|
|
0
|
94
|
June 24, 2026
|
|
Call for Presentations: ML Family Workshop 2026
|
|
0
|
19
|
May 20, 2026
|
|
CfC: The Rocqshop 2026
|
|
2
|
125
|
May 18, 2026
|
|
NWPT 2026, First Call for Papers
|
|
0
|
20
|
May 18, 2026
|
|
Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon
|
|
1
|
63
|
May 1, 2026
|
|
CfC: DIALOCO Workshop
|
|
1
|
65
|
April 30, 2026
|
|
Horn Clauses for Verification and Synthesis (HCVS), FLOC 2026 - 2nd CFP
|
|
0
|
25
|
April 23, 2026
|
|
CfC: Syntax and Semantics of Type Theories 2026
|
|
0
|
24
|
March 23, 2026
|
|
AIPV 2026
|
|
0
|
33
|
March 12, 2026
|
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0
|
57
|
March 5, 2026
|
|
Workshop on Theorem proving components for Educational software ThEdu26 at FLoC, Lisbon, 19 July
|
|
0
|
48
|
February 28, 2026
|
|
FMBC CFP
|
|
0
|
63
|
December 2, 2025
|