Announcements CFPs
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the CFPs category
|
|
0 | 3 | September 9, 2025 |
|
CfC: The Rocqshop 2026
|
|
0 | 7 | April 17, 2026 |
|
CfC: Syntax and Semantics of Type Theories 2026
|
|
0 | 12 | March 23, 2026 |
|
AIPV 2026
|
|
0 | 11 | March 12, 2026 |
|
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 | 18 | March 3, 2026 |
|
Workshop on Theorem proving components for Educational software ThEdu26 at FLoC, Lisbon, 19 July
|
|
0 | 12 | February 28, 2026 |
|
FMBC CFP
|
|
0 | 28 | December 2, 2025 |