-------- Forwarded Message -------- Subject: [AISWorld] CfP FASE 2019 : 22nd International Conference on Fundamental Approaches to Software Engineering (Prague, April 8-11, 2019) Date: Sun, 16 Sep 2018 17:23:26 +0000 From: van der Aalst, Wil wvdaalst@pads.rwth-aachen.de To: aisworld@lists.aisnet.org aisworld@lists.aisnet.org

************** CfP FASE 2019 ************ 22nd International Conference on Fundamental Approaches to Software Engineering Prague, Czechia, April 8-11, 2019

Conference website: https://conf.researchr.org/home/etaps-2019 Submission link: https://easychair.org/conferences/?conf=fase2019

Abstract registration deadline: November 9, 2018 Submission deadline: November 16, 2018 Author notification: January 25, 2019 Camera ready: February 15, 2019

The International Conference on Fundamental Approaches to Software Engineering is the premier conference concerned with the foundations on which software engineering is built. It is one of the five main European Joint Conferences on Theory and Practice of Software (ETAPS) taking place in April 2019 in Prague. We welcome innovative contributions making software engineering a more mature discipline based on well-founded principles.

Submission Guidelines

FASE accepts 3 types of submissions: research papers, regular tool papers and tool demo papers.

- Research papers clearly identify and justify a principled advance to the fundamentals of software engineering. Papers should clearly articulate their contribution, and provide sufficient evidence for the validity and applicability of the proposed approach. Research papers that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. Research papers can have a maximum of 15 pp (excluding the bibliography). - Regular tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, and emphasize the design and implementation concerns, including software architecture. A regular tool paper should give a clear account of the tool's functionality, discuss the tool's practical capabilities with reference to the type and size of problems it can handle, describe experience with realistic case studies, and where applicable, provide a rigorous experimental evaluation. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. Authors are strongly encouraged to make their tools publicly available (in the final version of an accepted paper), preferably on the web; links to tool repositories or other supplementary material may be hidden in the submitted version of a paper, if these links would otherwise endanger the anonymity of the authors. But no extra efforts are expected to disguise the identity of a tool (e.g., renaming the presented tool, moving the tool to another repository). Just reference the tool in your submission in a way that leaves it open whether the submitted tool (or extension, demonstration, etc.) paper has been submitted by the original developers of the tool or a new group of developers or users (if possible). Regular tool papers can have a maximum of 15 pp (excluding the bibliography). - Tool demonstration papers focus on the usage aspects of tools. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Theoretical foundations and experimental evaluation are not required, however, a motivation as to why the tool is interesting and significant should be provided. Tool demonstration papers can have a maximum of 6 pp (including bibliography). They should have an appendix of up to 6 additional pages with details on the actual demonstration.

List of Topics Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We invite contributions on all such fundamental approaches, including:

- Software engineering as an engineering discipline, including its interaction with and impact on society and economics; - Requirements engineering: capture, consistency, and change management of software requirements; - Software architectures: description and analysis of the architecture of individual systems or classes of applications; - Specification, design, and implementation of particular classes of systems: (self-)adaptive, collaborative, embedded, distributed, mobile, pervasive, cyber-physical or service-oriented applications; - Software quality: (static or run-time) validation and verification of functional and non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniques; - Model-driven development and model transformation: meta-modeling, design and semantics of domain-specific languages, consistency and transformation of models, generative architectures; - Software processes: support for iterative, agile, and open source development; - Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation.

Program Committee Christel Baier, TU Dresden, Germany Stefano Berardi, Universitá di Torino, Italy Mario Bravetti, University of Bologna, Italy Marsha Chechik, U Toronto, Canada Jordi Cabot, UO Catalonia, Spain Ferruccio Damiani, U Torino, Italy Ewen Denney SGT/NASA Ames, USA Dilian Gurov, KTH Stockholm, Sweden Ludovic Henrio, INRIA Sophia-Antipolis, France Marieke Huisman, U Twente, The Netherlands Gerti Kappel, TU Vienna, Austria Ekkart Kindler, Technical University of Denmark, Denmark Martin Leucker, U Lübeck, Germany Jun Pang, Université du Luxembourg, Luxembourg Marco Pistoia, IBM T.J. Watson Research CenterYorktown Heights, USA André Platzer, CMU Pittsburgh, USA Julia Rubin, University of British Columbia, Vancouver, Canada Bernhard Rumpe, RWTH Aachen, Germany Alessandra Russo, IC London, UK Ina Schaefer, Technische Universität Braunschweig, Germany Perdita Stevens, U Edinburgh, UK Andy Schürr, TU Darmstadt, Germany Jun Sun, Singapore UTD, Singapore Gabriele Taentzer, Philips U Marburg, Germany Silvia Lizeth Tapia Tarifa, U Oslo, Norway Maurice H. ter Beek, NRC, Italy Andrzej Wasowski, ITU Copenhagen, Denmark Heike Wehrheim, U Paderborn, Germany Yingfei Xiong Peking University, China

Program Chairs

Wil van der Aalst Reiner Hähnle

Publication

The proceedings of ETAPS 2018 will be published in the ARCoSS subline in Springer LNCS.

Special Issues A Special Issue of the Springer Journal Formal Aspects of Computing (FAC) will be associated with FASE'19. Authors of the best papers that fall within FAC's scope will be invited to submit significantly extended papers for journal review. A special issue of the Springer Journal Software Tools for Technology Transfer (STTT) will be associated with FASE'19, and authors of the best papers that fall within STTT's scope will be invited to submit significantly extended papers for journal review.

Venue The conference is one of the five main European Joint Conferences on Theory and Practice of Software (ETAPS) taking place in April 2019 in Prague.

Contact All questions about submissions should be emailed to Reiner Hähnle haehnle@informatik.tu-darmstadt.de and Wil van der Aalst wvdaalst@pads.rwth-aachen.de.

____________________________________ Prof.dr.ir. Wil van der Aalst Process and Data Science @ RWTH www.vdaalst.com

_______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org