BX 2012 is co-located with the following events:

  • CC 2012: 21st International Conference on Compiler Construction
  • ESOP 2012: 22nd European Symposium on Programming
  • FASE 2012: 15th International Conference on Fundamental Approaches to Software Engineering
  • FoSSaCS 2012: 15th International Conference on Foundations of Software Science and Computation Structures
  • TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  • ETAPS 2012 workshops

Revision: r1.9 - 03 Apr 2011 - 18:43 - JanisVoigtlaender
HART14 > ProgramCommittee > PEPMPublicity > ResearchPaperAdvice > ToolPaperAdvice > PaperSubmission > PEPMProgram > InvitedTalks > AffiliatedMeetings
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback