Main Conferences

CC
International Conference on Compiler Construction

ESOP
European Symposium on Programming,

FASE
Fundamental Approaches to Software Engineering

FOSSACS
Foundations of Software Science and Computation Structures

TACAS
Tools and Algorithms for the Construction and Analysis of Systems