[apologies for crossposting]
online version: https://easychair.org/cfp/tapas2019
------------------------------------------------------------
8 October 2019, Porto, Portugal.
A satellite workshop of SAS 2019. Part of the 3rd
World Congress on Formal Methods.
Revised versions of selected papers will be published after the
workshop by Springer in a volume of its Lecture Notes in Computer
Science (LNCS), which will collect contributions to some
workshops and symposia co-located with FM 2019.
The workshop will also have informal proceedings, posted on its web page.
In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools.
This workshop is intended to promote discussions and exchange experience between users of static analysis tools and specialists in all areas of program analysis design and implementation.
The technical program of TAPAS 2019 will consist of invited lectures, together with presentations based on submitted papers or abstracts.
Submissions can cover any aspect of program analysis tools including, but not limited to the following:
This workshop welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations.
TAPAS 2019 welcomes the following categories of submissions:
Please use the LNCS style, and submit via the TAPAS 2019 author interface of EasyChair.