-------- Original Message --------
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