[fg-arc] STAF 2017 Workshops: Joint Call for Contributions

Garcia-Dominguez, Antonio a.garcia-dominguez at aston.ac.uk
Fri Mar 10 23:00:39 CET 2017


-------------------------------------------------
Joint Call for Contributions
Workshops of STAF 2017
BigMDE, GCM, GRAND, MORSE, OCL, VOLT

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 six related 
workshops and cordially invites interested participants to 
actively contribute to the workshops. 


*** Workshops 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/

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


*** Important Dates ***

Submission:   around April 20 
              please check on the workshops' websites 
Notification: May 25

Workshop Dates: 

  July 17: GCM
  July 20: OCL
  July 21: BigMDE, GRAND, MORSE, VOLT


*** Submissions ***

For submission details, please check the individual 
workshop 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.


*** Workshop 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

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


*** Workshop 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.



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.


--
Antonio Garcia-Dominguez
Lecturer in Computer Science
School of Engineering & Applied Science, Aston University
Aston Triangle, Birmingham, B4 7ET
Room: MB211Q



More information about the fg-arc mailing list