Announcements CFPs
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the CFPs category
|
|
0 | 7 | September 9, 2025 |
|
CFP - CPP 2027 - Certified Programs and Proofs
|
|
0 | 32 | June 29, 2026 |
|
2nd CFP: Tribute to Gilles Dowek workshop - July 18th, FLoC 26, Lisbon, Portugal
|
|
0 | 37 | June 24, 2026 |
|
Call for Presentations: ML Family Workshop 2026
|
|
0 | 12 | May 20, 2026 |
|
CfC: The Rocqshop 2026
|
|
2 | 73 | 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 | 46 | 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 | 14 | 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 | 26 | February 28, 2026 |
|
FMBC CFP
|
|
0 | 54 | December 2, 2025 |