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

	* <A HREF="http://www2.in.tum.de/esop2012/" TARGET="_blank">ESOP 2012</A>: 22nd European Symposium on Programming
	* <A HREF="http://www.etaps.org/2012/fase" TARGET="_blank">FASE 2012</A>: 15th International Conference on Fundamental Approaches to Software Engineering
	* <A HREF="http://www.cem.brighton.ac.uk/gt-vmt12/" TARGET="_blank">GT-VMT 2012</A>: 11th International Workshop on Graph Transformation and Visual Modeling Techniques
	* <A HREF="http://sysrun.haifa.il.ibm.com/hrl/vsse2012/" TARGET="_blank">VSSE 2012</A>: 1st Workshop on Validation Strategies for Software Evolution

	* <A HREF="http://www.etaps.org/2012/tacas" TARGET="_blank">TACAS 2012</A>: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
	* <A HREF="http://fit2012.pst.ifi.lmu.de/" TARGET="_blank">FIT 2012</A>: 4th International Workshop on Foundations of Interface Technologies
	* <A HREF="http://mbt-workshop.org/" TARGET="_blank">MBT 2012</A>: 7th Workshop on Model-Based Testing
	* <A HREF="http://cs.ioc.ee/msfp/msfp2012/" TARGET="_blank">MSFP 2012</A>: 4th Workshop on Mathematically Structured Functional Programming
	* <A HREF="http://www.lcc.uma.es/~duran/WRLA12/" TARGET="_blank">WRLA 2012</A>: 9th International Workshop on Rewriting Logic and its Applications

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

	* <A HREF="http://www.etaps.org/2012/cc" TARGET="_blank">CC 2012</A>: 21st International Conference on Compiler Construction
	* <A HREF="http://www.etaps.org/2012/fossacs" TARGET="_blank">FoSSaCS 2012</A>: 15th International Conference on Foundations of Software Science and Computation Structures
	* <A HREF="http://web.cs.wpi.edu/~guttman/post12/" TARGET="_blank">POST 2012</A>: 1st Conference on Principles of Security and Trust 
	* <A HREF="http://www.cosy.sbg.ac.at/~tsoboll/ACCAT/index.php" TARGET="_blank">ACCAT 2012</A>: 7th Workshop on Applied and Computational Category Theory
	* <A HREF="http://coalg.org/cmcs12/" TARGET="_blank">CMCS 2012</A>: 11th International Workshop on Coalgebraic Methods in Computer Science
	* <A HREF="http://fesca.ipd.kit.edu/fesca2012/" TARGET="_blank">FESCA 2012</A>: 9th International Workshop on Formal Engineering approaches to Software Components and Architectures
	* <A HREF="http://ldta.info/" TARGET="_blank">LDTA 2012</A>: 12th Workshop on Language Descriptions, Tools and Applications
	* various other workshops, see the <A HREF="http://www.etaps.org/2012/workshops" TARGET="_blank">ETAPS page</A>