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 |
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 |