| Event | Affiliated with | Full Name |
|---|
| MSFP 2024 | FSCD 2024 |
Tenth Workshop on
Mathematically Structured Functional Programming |
| QPL 2026 |
23rd International Conference on
Quantum Physics and Logic |
| ICE 2026 | DiSCoteC 2026 |
ICE 2026
19th Interaction and Concurrency Experience |
| FROM 2026 | SYNASC 2026 |
Tenth Symposium on
Working Formal Methods |
| GandALF 2026 |
The Seventeenth International Symposium on
Games, Automata, Logics, and Formal Verification |
| NCL'26 |
Twelfth International Conference on
Non-Classical Logics. Theory and Applications |
| FMAS 2026 | ICFEM 2026 |
Eighth International Workshop on
Formal Methods for Autonomous Systems |
| ACT 2026 |
9th International Conference on
Applied Category Theory |
| EXPRESS/SOS 2026 | CONCUR 2026 |
Combined 33rd International Workshop on
Expressiveness in Concurrency and 23rd Workshop on Structural Operational Semantics |
| ACL2-2026 |
20th International Workshop on the
ACL2 Theorem Prover and Its Applications |
| ThEdu'25/'26 | CADE |
14th International Workshop on
Theorem proving components for Educational software |
| SNR26 | CONFEST 2026 |
9th International Workshop on
Symbolic and Numerical Reasoning about games |
| TERMGRAPH 2026 | FSCD 2026 |
14th International Workshop on
Computing with Terms and Graphs |
| GCM 2026 | STAF 2026 |
17th International Workshop on
Graph Computation Models |
| TFPIE 2026/2027 | TFP 2025 |
15th and 16th International Workshop on
Trends in Functional Programming in Education |
eptcs@eptcs.org