Announcements CFPs
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the CFPs category
|
|
0 | 5 | September 9, 2025 |
|
CfC: The Rocqshop 2026
|
|
1 | 48 | May 5, 2026 |
|
Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon
|
|
1 | 33 | May 1, 2026 |
|
CfC: DIALOCO Workshop
|
|
1 | 26 | April 30, 2026 |
|
Horn Clauses for Verification and Synthesis (HCVS), FLOC 2026 - 2nd CFP
|
|
0 | 10 | April 23, 2026 |
|
CfC: Syntax and Semantics of Type Theories 2026
|
|
0 | 13 | March 23, 2026 |
|
AIPV 2026
|
|
0 | 14 | March 12, 2026 |
|
13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
|
|
0 | 9 | March 5, 2026 |
|
Workshop on Theorem proving components for Educational software ThEdu26 at FLoC, Lisbon, 19 July
|
|
0 | 14 | February 28, 2026 |
|
FMBC CFP
|
|
0 | 30 | December 2, 2025 |