Home | Blog | Wiki | About

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