CFPs

Call for Papers: VOLT 2012

1st Workshop on Verification of Model Transformations will be held in conjunction with ICST 2012 in Canada. Model transformation is at the heart of Model-Driven Development (MDD). Many experts have identified the verification of model transformation as one of the grand challenges of the domain. Despite some recent activity in the field, the work ...