The following co-located meetings with overlapping interests are directly adjacent to BX 2012:

• ESOP 2012: 22nd European Symposium on Programming
• FASE 2012: 15th International Conference on Fundamental Approaches to Software Engineering
• GT-VMT 2012: 11th International Workshop on Graph Transformation and Visual Modeling Techniques
• VSSE 2012: 1st Workshop on Validation Strategies for Software Evolution

• TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
• FIT 2012: 4th International Workshop on Foundations of Interface Technologies
• MBT 2012: 7th Workshop on Model-Based Testing
• MSFP 2012: 4th Workshop on Mathematically Structured Functional Programming
• WRLA 2012: 9th International Workshop on Rewriting Logic and its Applications

Also co-located, taking place a few days later, are the following events:

• CC 2012: 21st International Conference on Compiler Construction
• FoSSaCS 2012: 15th International Conference on Foundations of Software Science and Computation Structures
• POST 2012: 1st Conference on Principles of Security and Trust
• ACCAT 2012: 7th Workshop on Applied and Computational Category Theory
• CMCS 2012: 11th International Workshop on Coalgebraic Methods in Computer Science
• FESCA 2012: 9th International Workshop on Formal Engineering approaches to Software Components and Architectures
• LDTA 2012: 12th Workshop on Language Descriptions, Tools and Applications
• various other workshops, see the ETAPS page