| Event | Affiliated with | Full Name |
|---|
| LSFA 2026 | FSCD, FLoC2026 |
21st International Symposium on
Logical and Semantic Frameworks with Applications |
| ICLP 2026 | FLoC 2026 |
42nd International Conference on
Logic Programming |
| 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 |
| AFL 2026 |
17th International Conference on
Automata and Formal Languages |
| 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 |
| 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 \fullname Structural Operational Semantics |
| ACL2-2026 |
20th International Workshop on the
ACL2 Theorem Prover and Its Applications |
| ThEdu25 | CADE |
14th International Workshop on
Theorem proving components for Educational software |
| SNR26 | CONFEST 2026 |
9th International Workshop on
Symbolic and Numerical Reasoning about games |
| 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