Journals
- JFP: Journal of Functional Programming
- FAC: Formal Aspects of Computing
- TOPLAS: Transactions on Programming Languages and Systems
- JAR: Journal of Automated Reasoning
Conferences
POPL: CPP, VMCAI
PLDI
ICFP
SPLASH: Onwards
MFCS
ETAPS: FoSSaCS
APLAS: Asian Symposium on Programming Languages and Systems
ASPLOS: Architectural Support for Programming Languages and Operating Systems
ECOOP: European Conference on Object-Oriented Programming
CAV
TYPES
FMCAD: Formal Methods in Computer-Aided Design
FLOC
CSL
FSTTCS
Summer schools
- Summer School on Formal Techniques (SSFT)
- Oregon Programming Languages Summer School (OPLSS)
- Programming Language Implementation Summer School PLISS
- Scottish Programming Languages and Verification Summer School (SPLV)
- Midlands Graduate School in Foundations of Computer Science