-------- Weitergeleitete Nachricht -------- Betreff: [WI] STAF 2017 Satellite Events: Final Joint Call Datum: Mon, 10 Apr 2017 12:35:47 +0100 Von: Antonio Garcia-Dominguez a.garcia-dominguez@aston.ac.uk Antwort an: Antonio Garcia-Dominguez a.garcia-dominguez@aston.ac.uk

------------------------------------------------- Final Joint Call for Contributions Satellite Events of STAF 2017 BigMDE, GCM, GRAND, MORSE, OCL, VOLT, TTC, Doctoral Symposium, Projects Showcase

July 17-21, 2017 in Marburg http://www.informatik.uni-marburg.de/staf2017/ -------------------------------------------------

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies: ECMFA, ICGT, ICMT, TAP.

In addition to these conferences, STAF features several related workshops (BigMDE, GCM, GRAND, MORSE, OCL and VOLT) and events (Projects Showcase, TTC) and cordially invites interested participants to actively contribute.

*** Satellite Events of STAF 2017 ***

BigMDE: Scalability in Model Driven Engineering http://www.big-mde.eu/

GCM: Graph Computation Models http://pages.di.unipi.it/corradini/Workshops/GCM2017/

GRAND: Grand Challenges in Modeling http://www.edusymp.org/Grand2017/

MORSE: Model-driven Robot Software Engineering http://st.inf.tu-dresden.de/MORSE17/

OCL: OCL and Textual Modeling https://oclworkshop.github.io/2017/

PS: Projects Showcase http://www.informatik.uni-marburg.de/staf2017/index.php/projects-showcases/

TTC: Transformation Tools Contest http://www.transformation-tool-contest.eu/

VOLT: Verification of Model Transformations http://www.informatik.uni-marburg.de/staf2017/

*** Important Dates ***

Submission: * TTC: Later call for solutions to accepted cases * GCM, OCL, BigMDE, GRAND, MORSE, VOLT: around April 20th - please check on the events' websites * Projects Showcase: April 28th

Notification: * GCM, OCL, BigMDE, GRAND, MORSE, VOLT: May 25th * TTC: around April 16th (cases), TBA for solutions to cases * Projects Showcase: May 25th

Event Dates: July 17: GCM July 18: Projects Showcase July 20: OCL July 21: BigMDE, GRAND, MORSE, VOLT, TTC

*** Submissions ***

For submission details, please check the individual event homepages.

*** Publication ***

STAF 2017 plans to organize joint Springer LNCS post-proceedings for the workshops (confirmation by Springer pending).

*** Venue ***

In 2017, STAF will be hosted at Philipps-Universität Marburg.

Marburg is located in the heart of Germany, one train-hour to the north of Frankfurt. The castle and the beautiful old town Oberstadt with its numerous bars and restaurants make Marburg highly attractive for a visit.

*** Event Organizers ***

BigMDE Dimitris Kolovos, University of York Davide Di Ruscio, University of L’Aquila Nicholas Matragkas, University of Hull Jesús Sánchez Cuadrado, Universidad Autonoma de Madrid István Ráth, Budapest University of Technology and Economics Massimo Tisi, Ecole des Mines de Nantes

GCM Andrea Corradini, Dipartimento di Informatica, Pisa

GRAND Jordi Cabot, ICREA – Open University of Catalonia Richard Paige, University of York Alfonso Pierantonio, University of L’Aquila

MORSE Sebastian Götz, University of Technology Dresden Christian Piechnick, University of Technology Dresden Andreas Wortmann, RWTH Aachen University

OCL Robert Bill, Vienna University of Technology Achim D. Brucker, The University of Sheffield Jordi Cabot, ICREA – Open University of Catalonia Martin Gogolla, University of Bremen

Projects Showcase Massimo Tisi, IMT Atlantique, France Thanos Zolotas, University of York, UK

TTC Antonio Garcia-Dominguez, Aston University, UK Georg Hinkel, FZI Research Center of Information Technologies (Karlsruhe), Germany Filip Krikava, Northeastern University, USA

VOLT Moussa Amrani, University of Namur Eugene Syriani, University of Montreal Manuel Wimmer, Vienna University of Technology

*** Workshop Co-Chairs ***

Martina Seidl, JKU Linz, http://fmv.jku.at/seidl

Steffen Zschaler, King’s College London, http://www.steffen-zschaler.de

*** Event Descriptions ***

Grand Challenges in Modeling (GRAND)

This workshop will bring together researchers and practitioners interested in the future of model-driven engineering. A lot has been achieved, but big challenges remain. The purpose of this workshop is to help identify these challenges and a research roadmap for model-driven engineering over the next years.

Projects Showcase

The Projects Showcase event at STAF 2017 provides an opportunity for researchers and practitioners (from both academia and industry) involved in upcoming, ongoing or completed research projects related to foundations and applications of software technologies to share results, experiences, ideas, on-going work, and knowledge that can lead to fruitful inter-project collaboration.

The Projects Showcase welcomes contributions disseminating the objectives and results of national and international research projects, including outcomes of specific deliverables, advances beyond the state of the art, overall innovation potential, exploitation approach and (expected) impact, marketing value, barriers and obstacles.

4th International Workshop on Model-driven Robot Software Engineering (MORSE)

Robots are an indispensable part of modern production facilities. In the future, robots will also become more common in daily life. Currently, however, there is a lack of standardization w. r. t. hardware/software platforms for robots, leading to a vast landscape of isolated, incompatible, task-specific and, thus, non-reusable solutions. Consequently, there is a need for new engineering methodologies for the design, implementation and execution of software for robotic platforms. MORSE provides a venue for discussing new ideas on the application of model-driven engineering to robotics.

5th International Workshop on Scalable Model Driven Engineering (BigMDE)

As Model Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the current generation of modelling and model management technologies are being pushed to their limits in terms of capacity and efficiency. As such, additional research and development is imperative in order to enable MDE to remain relevant with industrial practice and to continue delivering its widely-recognised productivity, quality, and maintainability benefits. The aim of this workshop is to provide a venue where developers and users of modelling and model management languages and tools can present problems and solutions around the scalability of MDE.

6th International Workshop on Verification and Validation Of modeL Transformations (VOLT)

This workshop offers researchers a dedicated forum to classify, discuss, propose, and advance verification and validation techniques dedicated to model transformations. VOLT 2017 promotes discussions between theoreticians and practitioners from academy and industry. A significant part of the workshop includes a forum for discussing practical applications of model transformations and related problems. One of the goals of the forum is to collect enough industrial case studies so that those problems can be stated at a theoretical level.

8th International Workshop on Graph Computation Models (GCM)

Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. Their mathematical foundation, in addition to their visual nature, facilitates specification, validation and analysis of complex systems. The aim of GCM 2017 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. The workshop promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas.

17th International Workshop in OCL and Textual Modeling (OCL)

Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards.

10th Transformation Tool Contest (TTC)

Transformations of structured data such as relational data, abstract syntax trees and high-level graph-based models are cross-disciplinary at the heart of a wide range of applications. The success of transformation approaches heavily depends on the availability of expressive and efficient tools. Currently, a large variety of tools exist for different transformation approaches. However, for potential users, working in application domains where transformation techniques may be useful, it is difficult to select the right tool for their purpose. Moreover, even for most of the tool experts it is true that they know about one or two tools but little about others. Finally, the tool developers themselves can also be inspired by a more detailed understanding of related approaches.