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
  • 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