BX 2012 is co-located with the following events: * [[http://www.etaps.org/2012/cc][CC 2012]]: 21st International Conference on Compiler Construction * [[http://www.etaps.org/2012/esop][ESOP 2012]]: 22nd European Symposium on Programming * [[http://www.etaps.org/2012/fase][FASE 2012]]: 15th International Conference on Fundamental Approaches to Software Engineering * [[http://www.etaps.org/2012/fossacs][FoSSaCS 2012]]: 15th International Conference on Foundations of Software Science and Computation Structures * [[http://www.etaps.org/2012/tacas][TACAS 2012]]: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems * [[http://www.cem.brighton.ac.uk/gt-vmt12/][GT-VMT 2012]]: 11th International Workshop on Graph Transformation and Visual Modeling Techniques * other [[http://www.etaps.org/2012/workshops][ETAPS 2012 workshops]]