-------- Original Message -------- Subject: [WI] Call for Participation: 2nd Workshop on the Verification of Model Transformation Date: Tue, 4 Jun 2013 06:22:52 +0000 From: Wimmer Manuel wimmer@big.tuwien.ac.at To: wi@aifb.uni-karlsruhe.de wi@aifb.uni-karlsruhe.de

VOLT 2013 2nd Workshop on the Verification of Model Transformation Co-located with STAF 2013 http://www.hpi.uni-potsdam.de/giese/events/2013/volt/

Budapest, Hungary June 17, 2013

*** Workshop Aim and Scope ***

Model transformations are everywhere in software development. They have been described as the “heart and soul of Model-Driven Development (MDD)”. It is generally accepted that MDD is a very promising means for raising the level of abstraction of current software development techniques, while making it more reliable, efficient, safe and cost-effective. Several experts have identified the verification of model transformations as one of the grand challenges of the domain. Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject is still not in sight. Furthermore, current model transformation tools lack verification techniques to support such activities.

The Second International Workshop on the Verification Of modeL Transformation (VOLT 2013) is one of the most accurate venues to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations. VOLT 2013 promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with STAF and in particular ICMT. VOLT’s interest spans both to academic and industrial practices.

*** Program ***

Keynote: - Holger Giese: The Quest for Automated Formal Verification of Model Transformations

Long Presentations: - Levi Lucio and Hans Vangheluwe: Model Transformations to Verify Model Transformations - Sebastian Gabmeyer, Petra Brosch, and Martina Seidl: A Classification of Software Model Verification Approaches

Short Presentations: - Loli Burgueño, Manuel Wimmer, Javier Troya, and Antonio Vallecillo: On the Realization of TractsTool - Tihamer Levendovszky, István Madari, and Janos Sztipanovits: Validating Transformations for Semantic Anchoring

Group Discussions: - This year we would like to introduce a dedicated group discussion session on major research challenges ahead in which we, as a community, discuss the next necessary steps and possible collaborations to make substantial progress in the field of model transformation verification.

The full program can be found at http://www.hpi.uni-potsdam.de/giese/events/2013/volt/program.html

*** Organization Committee ***

Moussa AMRANI, University of Luxembourg, Luxembourg Leen LAMBERS, Hasso Plattner Institute, Germany Eugene SYRIANI, University of Alabama, USA Manuel WIMMER, Vienna University of Technology, Austria

*** Program Committee ***

Márk ASZTALOS, Budapest University of Eco. Sc., Hungary Didier BUCHS, University of Geneva, Swiss Marsha CHECHIK, University of Toronto, Canada Antonio CICCHETTI, Malardalen University, Sweden Benoît COMBEMALE, University of Rennes / IRISA, France Jürgen DINGEL, Queen’s University, Canada Franck FLEUREY, SINTEF, Norway Holger GIESE, Postdam University, Germany Martin GOGOLLA, University of Bremen, Germany Jeff GRAY, University of Alabama, USA Frank HERMANN, University of Luxembourg, Luxembourg Akram IDANI, Grenoble INP, France Tihamér LEVENDOVSKY, Vanderbilt University, USA Levi LÚCIO, McGill University, Canada Arend RENSINK, University of Twente, Netherlands Rick SALAY, University of Toronto, Canada Gabriele TAENTZER, University of Marburg, Germany Antonio VALLECILLO, University of Málaga, Spain Hans VANGHELUWE, University of Antwerp, Belgium, McGill University, Canada Stephan WEISSLEDER, Fraunhofer FIRST, Germany

-- Mailing-Liste: wi@aifb.uni-karlsruhe.de Administrator: wi-request@lists.uni-karlsruhe.de Konfiguration: https://www.lists.uni-karlsruhe.de/sympa/info/wi