posted by organizer: vamaral || 4559 views || tracked by 10 users: [display]

DSM-TP 2013 : 4th International Summer School on Domain Specific Modeling - Theory and Practice

FacebookTwitterLinkedInGoogle

Link: http://www.dsm-tp.org
 
When Sep 2, 2013 - Sep 6, 2013
Where Santiago de Compostela, Spain
Submission Deadline Jul 31, 2013
Final Version Due Oct 15, 2013
Categories    software engineering   modelling   model-driven development   programming languages
 

Call For Papers

Call For Participation
**********************
In the last decade, industry and academy have been looking at Domain Specific Modeling (DSM) and their interelated techniques in Model Driven Development (MDD) as an interesting approach to fight the complexity in system development, and to simulate models and understand their relations. In this regard, models and model transformations, expressed in appropriate formalisms, are seen as construction tools rather than just documentation. Models are the essential artifact to abstract everything and in this perspective one should strive to Model Everything.

Academy has been investing very recently in this emerging field by developing foundations, systematic approaches, tools and frameworks that support Simulation and Verification, Model Checking and Model-Based Testing to bring it to a mature stage. However, it has been difficult for practitioners, regular Software Engineers, to keep the pace of the evolution and be acquainted with this field. There is a wide set of tools and techniques available, but no integrated vision of the DSM practice. The community acknowledges the lack of forums to educate and presente those topics in a comprehensive way.

The 4th International Summer School on Domain Specific Modeling - Theory and Practice seeks to draw researchers, teachers, practitioners, and students (at MSc. or PhD. level) who intend to study or work with Domain Specific Modeling. The purpose is to learn principles and practices in a friendly and convivial environment. The lecturers are a mixed set of experienced professionals in the topic from both academic and industrial background.

Organization
************
DSM-TP is hosted by CiTIUS, at the University of Santiago de Compostela, at the beautiful historic city of Santiago de Compostela in Spain. The organization is in cooperation with:

- Software Modelling and Verification - SMV group from the University of Geneva, Switzerland
- Modeling, Simulation and Design Lab - MSDL from the McGill University, Montreal Canada
- University of Antwerp, Belgium
- University of Alabama, USA
- CITI / FCT - Universidade Nova de Lisboa, Portugal
- GSI (Grupo de Sistemas de Informação, Information Systems Group) INESC-ID/IST

The School is structured in several introductory classes about theoretical topics of DSMs folowed by hands-on tutorials where techniques and tools will be explained and used. There will be a common Case Study to all the lectures and tutorials in order to have a continuous guideline among them, instead of isolated thematic talks. Additionally, dedicated advanced talks will give an overall picture both from both the academic and industrial point of view of the most recent advances in the field highlighting the current research as well as discussing challenges and open issues.

Important Dates
***************
Registration opening: 1 June, 2013
Early registration deadline: 15th July, 2013
Registration deadline to benefit from the University Residency prices: 30 June, 2013
Poster/Presentation Summary deadline (see website): 30 July, 2013

For More Information
Please consult http: www.dsm-tp.org

The Topics
**********
Model-Driven Development
Domain Specific Modeling and Languages
Domain Language Engineering Process
Languages Metamodeling
Model Transformations
Formalisms for Language Semantics
Model Checking and Theorem Provers
Model-Based Testing
Domain Specific Language Evaluation
Model Composition and Metamodel Composition

Tools used during the hands-on tutorials
****************************************
DSLs, Language Metamodeling: AtomPM, Epsilon tools, GMF/GMF, Eugenia
Model Transformations: DSLTrans, T-Core, EGL, ETL
Model Verification: ALPINA, FORMULA

The Program Committee
*********************
- Maurício Alférez, INRIA (France)
- Vasco Amaral, CITI FCT, Universidade Nova de Lisboa (Portugal)
- João Araújo, CITI, FCT, Universidade Nova de Lisboa (Portugal)
- Didier Buchs, University of Geneva (Switzerland)
- Paulo Carreira, INESC-ID IST UTL (Portugal)
- Miguel Goulão, CITI, Universidade Nova de Lisboa (Portugal)
- Ethan Jackson, Microsoft Research (USA)
- Ana Moreira, CITI, FCT, Universidade Nova de Lisboa (Portugal)
- Bernhard Schätz , Fortiss, (Germany)
- Eugene Syriani, University of Alabama, (USA)
- Hans Vangheluwe , MSDL, Antwerp University, (Belgium) and McGill
University, Montreal (Canada)
- (more members soon)

The Venue
*********
Will take place at CiTIUS, University of Santiago de Compostela, Spain.

Registration
************
The registration is open to everybody, with a limited number of places
available. For more details please consult the website and send your intent to submit to vma@fct.unl.pt
using the subject:"DSM-TP: Registration intention"

ECTS Credits
************
A certificate of attendance will be provided (participation in all sessions is required). Evaluation is not mandatory. However, upon request, students can be formally evaluated and earn the equivalent to 3
credits ECTS (accepted by the USC) to be credited by each origin University.

Related Resources

CAiSE 2024   36th International Conference on Advanced Information Systems Engineering
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
SBD Summer School 2024   SoBigData RI Summer School 2024 Empowering data for social good
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
CIU 2024   The 2nd International Workshop on Certainty in Uncertainty: Exploring Probabilistic Approaches in AI
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
AI4SS Summer School 2024   Summer School on Artificial Intelligence for a Secure Society
SSRM 2024   Summer School on Remote Sensing and Microscopy Image Processing