The call for papers to the Doctoral Symposium is closed. The program for the Doctoral Symposium is now available.
STAF Doctoral SymposiumThe goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work in progress. The symposium supports students by providing independent and constructive feedback about their already completed and, more importantly, planned research work. The symposium will be accompanied by prominent experts who will actively participate in critical discussions.
- Models: reasoning, execution, management, testing and validation
- Model transformations: paradigms, algorithms, development, applications, tools
- Graph transformation and graph theories
- Domain Specific Languages
- Proofs and Testing: verification, debugging, experiments, case studies
- Model-Driven Engineering
- Alexandru Burdusel: Optimisation Methods for Model-Driven Engineering
- Sina Madani: Parallel Execution of Model Management Programs
- Abdullah E. Alhejaili: Action Inferences from IoT Devices: a Risk Detection Case Study Applied in Smart Home
- Dennis Nolte: Analysis and Abstraction of Graph Transformation Systems via Type Graphs
- Anke Stüber: Rule Formats for Nominal Modal Transition Systems
- Arve Gengelbach: On the Foundation of Isabelle/HOL
Submission ProcessSubmissions exclusively authored by the PhD student are invited from students who have settled on a PhD topic. We do accept papers on both initial stage (first or second year) and mature stage (third year, or later) of research. The authors shall clearly indicate their stage of research maturity in a footnote to be added to the paper title.
- Problem: The problem the research intends to solve, the target audience of this research, and a motivation of why the problem is important and needs to be solved.
- Related work: A review of the relevant related work with an emphasis of how the proposed approach is different and what advantages it has over the existing state of the art.
- Proposed solution: A description of the proposed solution and which other work (e.g., in the form of methods or tools) it depends on.
- Preliminary work: A description of the work to-date and results achieved so far.
- Expected contributions: A list of the expected contributions to both theory and practice.
- Plan for evaluation and validation: A description of how it will be shown that the work does indeed solve the targeted problem and is superior to the existing state of the art (e.g., prototyping, industry case studies, user studies, experiments).
- Current status: The current status of the work and a planned timeline for completion.
|May 29, 2017||Paper submission deadline (extended!)|
|June 6, 2017||Author notification|
|July 17, 2017||STAF 2017 Doctoral Symposium|
University of L’Aquila, Italy
Universität Duisburg-Essen, Germany
Program Committee (to be finalized)
- Nelly Bencomo, Aston University, UK
- Marsha Chechik, University of Toronto, Canada
- Juan De Lara, Universidad Autonoma de Madrid, Spain
- Catherine Dubois, ENSIIE-Samovar, France
- Martin Gogolla, University of Bremen, Germany
- Jeff Gray, University of Alabama, USA
- Reiko Heckel, University of Leicester, UK
- Gerti Kappel, Vienna University of Technology, Austria
- Dimitris Kolovos, University of York, UK
- Daniel Varro, Budapest University of Technology and Economics, Hungary