| Event | Affiliated with | Full Name |
|---|
| ACT2022 |
Fifth International Conference on
Applied Category Theory |
| PLACES 2023 | ETAPS 2023 |
14th Workshop on
Programming Language Approaches to Concurrency and Communication-cEntric Software |
| CREST 2023 | ETAPS |
6th Workshop on
Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology |
| Linearity&TLLA 2022 | FSCD/LICS 2022 at FLoC 2022 |
Proceedings Third Joint International Workshop on
Linearity and Trends in Linear Logic and its Applications |
| TiCSA 2023 | ETAPS 2023 |
First Workshop on
Trends in Configurable Systems Analysis |
| QPL 2022 |
19th International Conference on
Quantum Physics and Logic |
| ICLP 2023 | n/a |
39th International Conference on
Logic Programming |
| HCVS 2023 | ETAPS 2023 |
10th Workshop on
Horn Clauses for Verification and Synthesis |
| EXPRESS/SOS2023 | CONCUR 2023 |
Combined 30th International Workshop on
Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics |
| AREA 2023 | ECAI 2023 |
Third Workshop on
Agents and Robots for reliable Engineered Autonomy |
| GandALF 2023 |
Fourteenth International Symposium on
Games, Automata, Logics, and Formal Verification |
| ACL2 2023 |
18th International Workshop on the
ACL2 Theorem Prover and Its Applications |
| GCM 2023 | STAF 2023 |
Fourteenth International Workshop on
Graph Computation Models |
| ACT 2023 |
Applied Category Theory 2023 |
| TERMGRAPH 2022 | FLoC 2022 |
Twelfth International Workshop on
Computing with Terms and Graphs |
eptcs@eptcs.org