| Event | Affiliated with | Full Name |
|---|
| FICS 2024 | CSL 2024 |
Twelfth Workshop on
Fixed Points in Computer Science |
| MSFP 2024 | FSCD 2024 |
Tenth Workshop on
Mathematically Structured Functional Programming |
| ACT 2024 |
Seventh International Conference on
Applied Category Theory 2024 |
| ACL2 2025 |
19th International Workshop on the
ACL2 Theorem Prover and Its Applications |
| TFPiE 2025 | TFP 2025 |
14th International Workshop on
Trends in Functional Programming in Education |
| QCCC 2025 |
The 3rd International Conference on
Quantum and Classical Computation and Complexity |
| VSS 2025 | ETAPS 2025 |
International Workshop on
Verification of Scientific Software |
| NCMA 2025 | DCFS 2025 |
15th International Workshop on
Non-Classical Models of Automata and Applications |
| LFMTP 2025 | FSCD 2025 |
Twentieth International Workshop on
Logical Frameworks and Meta-Languages: Theory and Practice |
| QPL 2025 | QPL |
22nd International Conference on
Quantum Physics and Logic |
| ICE 2025 | DisCoTec 2025 |
Proceedings 18th
Interaction and Concurrency Experience |
| 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 |
| GandALF 2025 |
Sixteenth International Symposium on
Games, Automata, Logics, and Formal Verification |
| LSFA 2025 | CICM 2025 |
Twentieth International Symposium on
Logical and Semantic Frameworks with Applications |
| EXPRESS/SOS 2025 | CONFEST 2025 |
Combined 32nd International Workshop on
Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics |
| 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 |
eptcs@eptcs.org