| Event | Affiliated with | Full Name |
|---|
| ThEdu25 | CADE |
The 14th International Workshop on
Theorem proving components for Educational software |
| ICE 2026 | DiSCoteC 2026 |
ICE 2026
19th Interaction and Concurrency Experience |
| TFPIE 2026 | TFP 2025 |
15th International Workshop on
Trends in Functional Programming in Education |
| GASCom 2026 |
14th edition of the conference on
Random Generation of Combinatorial Structures |
| NCMA 2026 | DLT 2026 |
The 16th International Workshop on
Non-Classical Models of Automata and Applications |
| AiML2026 |
Sixteenth International Conference on
Advances in Modal Logic |
| LFSA 2026 | FSCD, FLoC2026 |
21st International Symposium on
Logical and Semantic Frameworks with Applications |
| ICLP 2026 | FLoC 2026 |
The Fortysecond
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 |
| AFL 2026 |
17th International Conference on
Automata and Formal Languages |
| ACT 2026 |
9th International Conference on
Applied Category Theory |
| GCM 2026 | STAF 2026 |
17th International Workshop on
Graph Computation Models |
eptcs@eptcs.org