Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods either by substantiating the advantages of integrating formal methods into the development cycle or through delineating need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. Submissions can take the form of either regular or short papers. Short papers can discuss ongoing research at an early stage, including PhD projects. Page limit (in LNCS format):

* Regular Papers: should not exceed 16 pages

* Short papers: should not exceed 6 pages

References are not included in the above mentioned page limits. Extra appendices are allowed but reviewers may choose not to read them.

Papers should be submitted electronically through the Easychair submission site:
https://easychair.org/conferences/?conf=setta2019.

The proceedings will be published as a volume in Springer's LNCS series. All submissions must be in the PDF format. Papers should be written in English. Formatting templates and further guidelines for formatting can be found at http://www.springer.com/de/it-informatik/lncs/conference-proceedings-guidelines. Submitted papers must be unpublished and not submitted for publication elsewhere. Accepted papers must be presented at the conference.