| 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 |
| ThEdu24 | IJCAR 2024 |
The 13th International Workshop on
Theorem proving components for Educational software |
| LSFA 2024 |
19th International Workshop on
Logical and Semantic Frameworks, with Applications |
| PLACES 2025 | ETAPS 2025 |
16th International Workshop on
Programming Language Approaches to Concurrency- and Communication-cEntric Software |
| ASQAP 2025 | ETAPS 2025 |
First International Workshop on
Autonomous Systems Quality Assurance and Prediction with Digital Twins |
| ACL2 2025 |
19th International Workshop on the
ACL2 Theorem Prover and Its Applications |
| 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 |
| QPL 2025 | QPL |
The 22nd International Conference on
Quantum Physics and Logic |
| ICE 2025 | DisCoTec 2025 |
Proceedings 18th
Interaction and Concurrency Experience |
| TARK 2025 |
The 20th Conference on
Theoretical Aspects of Rationality and Knowledge |
| LSFA 2025 | CICM 2025 |
Twentieth International Symposium on
Logical and Semantic Frameworks with Applications |
| GCM 2025 | STAF 2025 |
16th International Workshop on
Graph Computation Models |
| ACT 2025 |
Eighth International Conference on
Applied Category Theory |
| 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