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