[Om-announce] [CfP] ASYDE workshop @SEFM'19 - Extended abstract and paper submission deadline

[alexander.perucci at univaq.it]

[Apologies for multiple postings]

** Abstract submission extended: the ASYDE @ SEFM'19 abstract submission deadline is extended to June 17th, 2019
** Paper submission extended: the ASYDE @ SEFM'19 paper submission deadline is extended to June 24th, 2019

More on http://asyde2019.disim.univaq.it/

--  Call for Papers --

ASYDE 2019: 1st International Workshop on on Automated and verifiable Software sYstem DEvelopment, co-located with the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September 16, 2019

During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. Realizing high-quality software systems requires producing software that is efficient, errorfree, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well.

ASYDE 2019 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms. ASYDE 2019 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://asyde2019.disim.univaq.it/

== IMPORTANT DATES ==

 - Abstract submission: June 17th, 2019 (extended)
 - Paper submission: June 24th, 2019 (extended)
 - Notification: July 15th, 2019
 - Camera ready: July 22nd, 2019

== TOPICS OF INTEREST (although not limited to) ==

- Specification, architecture, and design of software and verification models
- Formal methods for automated software development
- Model-driven software development
- Correct-by-construction software development
- Automated synthesis of software integration code
- Automated software development and integration
- Automated and verifiable software development
- Automated planning methods
- Non-functional properties of software
- Software quality assurance for automated software development
- Compositional theories for software development and its (dynamic) verification
- Dynamic verification and testing
- Service-oriented and Component-based software development
- Machine learning techniques

== PAPER SUBMISSION ==

Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: https://sefm2019.inria.fr/cfp/
The submission Web page for ASYDE 2019 is https://easychair.org/conferences/?conf=asyde2019
Each submitted paper will undergo a process of formal peer review by at least 3 PC members. Contributions can be:

- Regular papers (from 10 to 15 pages): In this category fall those contributions that propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case-studies) in the application of FM and SE approaches for automated and verifiable software development. Regular papers must clearly describe the situation or problem tackled, the relevant state of the art, the proposed position or solution, and the potential benefits of the contribution. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers.

- Short papers (from 6 to 8 pages): This category includes tool demonstrations, position papers, and visionary papers. Authors of tool demonstration papers should make their tool available for use by reviewers

== WORKSHOP CHAIRS ==

- Farhad Arbab, CWI, The Netherlands Farhad.Arbab at cwi.nl
- Marco Autili, University of L'Aquila, Italy marco.autili at univaq.it
- Federico Ciccozzi, Mälardalen University, Sweden federico.ciccozzi at mdh.se
- Pascal Poizat, Sorbonne Université, France pascal.poizat at lip6.fr
- Massimo Tivoli, University of L'Aquila, Italy, massimo.tivoli at univaq.it

== PROGRAM COMMITTEE ==

- Luciano Baresi, Politecnico di Milano
- Steffen Becker, University of Stuttgart
- Domenico Bianculli, SnT Centre - University of Luxembourg
- Antonio Brogi, University of Pisa
- Radu Calinescu, University of York
- Antinisca Di Marco, University of L'Aquila
- Amleto Di Salle, University of L'Aqula
- Schahram Dustdar, Vienna University of Technology
- Nikolaos Georgantas, INRIA
- Marina Mongiello, Politecnico di Bari
- Cristina Seceleanu, Mälardalen University
- Meng Sun, Peking University
- Apostolos Zarras, University of Ioannina

== KEYNOTE by Marjan Sirjani, Mälardalen University ==

TITLE: Reactive Systems: From Requirements to Verifiable Models to Code

ABSTRACT: Software systems are complicated, and the scientific and engineering methodologies for software development are relatively young. We need robust methods for handling the ever-increasing complexity of software systems that are now in every corner of our lives. In this talk I will focus on asynchronous event-based reactive systems and show how we start from the requirements, move to actor-based models, verify the models for correctness, and build executable codes based on that. I show how we can use the architecture design and sequence diagrams to build the behavioral model, and the state diagrams to write the properties of interest, and then use model checking to check the properties. We then refine the verified models to develop the executable code. The natural mappings among the models for requirements, the formal models, and the executable code improve the effectiveness and efficiency of the approach. It also helps in runtime monitoring and adaptation.

== WEB CHAIR ==

- Amleto Di Salle, University of L'Aquila, Italy

== PUBLICITY CHAIR ==

- Alexander Perucci, University of L'Aquila, Italy