| Event | Affiliated with | Full Name |
|---|
| ACT 2025 |
Eighth International Conference on
Applied Category Theory |
| ICLP 2025 |
41st International Conference on
Logic Programming |
| GCM 2025 | STAF 2025 |
16th International Workshop on
Graph Computation Models |
| WACA 2025 | DisCoTec 2025 |
First Workshop on
Adaptable Cloud Architectures |
| ThEdu25 | CADE |
The 14th International Workshop on
Theorem proving components for Educational software |
| LTT 2026 | ETAPS 2026 |
Logics and Type Theory: Essays Dedicated to Stefano Berardi on the occasion of his 64th Birthday |
| MARS 2026 | ETAPS 2026 |
7th Workshop on
Models for Formal Analysis of Real Systems |
| TFPIE 2026 | TFP 2025 |
15th International Workshop on
Trends in Functional Programming in Education |
| 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 |
| MSFP 2024 | FSCD 2024 |
Tenth Workshop on
Mathematically Structured Functional Programming |
| QPL 2026 |
23rd International Conference on
Quantum Physics and Logic |
| ACT 2026 |
9th International Conference on
Applied Category Theory |
eptcs@eptcs.org