Adjacent Meetings
Second Workshop on Haskell And Rewriting Techniques (HART 2014)
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
- ACCAT 2012: 7th Workshop on Applied and Computational Category Theory
- 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
- 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