[Apologies for multiple postings]

** Reminder: the ASYDE @ SEFM'19 submission deadline is June 10th, 2019
** Keynote by Marjan Sirjani, Mälardalen University (Tile and abstract to be 

--  Third 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/


 - Abstract submission: June 3rd, 2019
 - Paper submission: June 10th, 2019
 - 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


Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: 
The submission Web page for ASYDE 2019 is 
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


- Farhad Arbab, CWI, The Netherlands farhad.ar...@cwi.nl
- Marco Autili, University of L'Aquila, Italy marco.aut...@univaq.it
- Federico Ciccozzi, Mälardalen University, Sweden federico.cicco...@mdh.se
- Pascal Poizat, Sorbonne Université, France pascal.poi...@lip6.fr
- Massimo Tivoli, University of L'Aquila, Italy, massimo.tiv...@univaq.it


- 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


- Marjan Sirjani, Mälardalen University (Tile and abstract to be announced)


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


- Alexander Perucci, University of L'Aquila, Italy

hol-info mailing list

Reply via email to