| Event | Affiliated with | Full Name |
|---|
| FICS 2024 | CSL 2024 |
Twelfth Workshop on
Fixed Points in Computer Science |
| TARK 2025 |
Twentieth Conference on
Theoretical Aspects of Rationality and Knowledge |
| ACT 2025 |
Eighth International Conference on
Applied Category Theory |
| ICLP 2025 |
41st International Conference on
Logic Programming |
| EXPRESS/SOS 2025 | CONFEST 2025 |
Combined 32nd International Workshop on
Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics |
| HCVS 2025 | CAV 2025 |
12th Workshop on
Horn Clauses for Verification and Synthesis |
| FMAS 2025 | iFM 2025 |
Seventh International Workshop on
Formal Methods for Autonomous Systems |
| MSFP 2024 | FSCD 2024 |
Tenth Workshop on
Mathematically Structured Functional Programming |
| GCM 2025 | STAF 2025 |
16th International Workshop on
Graph Computation Models |
| WACA 2025 | DisCoTec 2025 |
First Workshop on
Adaptable Cloud Architectures |
| 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 |
| AiML2026 |
Sixteenth International Conference on
Advances in Modal Logic |
| ACT 2026 |
9th International Conference on
Applied Category Theory |
eptcs@eptcs.org