| Event | Affiliated with | Full Name |
|---|
| MSFP 2024 | FSCD 2024 |
Tenth Workshop on
Mathematically Structured Functional Programming |
| EXPRESS/SOS 2026 | CONCUR 2026 |
Combined 33rd International Workshop on
Expressiveness in Concurrency and 23rd Workshop on Structural Operational Semantics |
| FMAS 2026 | ICFEM 2026 |
Eighth International Workshop on
Formal Methods for Autonomous Systems |
| ACL2-2026 |
20th International Workshop on the
ACL2 Theorem Prover and Its Applications |
| ThEdu'25/'26 | CADE |
14th International Workshop on
Theorem proving components for Educational software |
| ACT 2026 |
9th International Conference on
Applied Category Theory |
| SNR26 | CONFEST 2026 |
9th International Workshop on
Symbolic and Numerical Reasoning about games |
| TERMGRAPH 2026 | FSCD 2026 |
14th International Workshop on
Computing with Terms and Graphs |
| GCM 2026 | STAF 2026 |
17th International Workshop on
Graph Computation Models |
| MARS 2027 | ETAPS 2027 |
8th Workshop on
Models for Formal Analysis of Real Systems |
| TFPIE 2026/2027 | TFP 2025 |
15th and 16th International Workshop on
Trends in Functional Programming in Education |
| PEAL 2027 | ECOOP 2027 |
Symposium on
Programming Elements, Abstractions, and Languages – Essays dedicated to Paola Giannini and Elena Zucca on the occasion of their retirement |
| TARK 2027 |
Twenty-first Conference on
Theoretical Aspects of Rationality and Knowledge |
eptcs@eptcs.org