IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
TAPAS 2019 : 10th Workshop on Tools for Automatic Program Analysis
TAPAS 2019 : 10th Workshop on Tools for Automatic Program Analysis

TAPAS 2019 : 10th Workshop on Tools for Automatic Program Analysis

Porto, Portugal
Event Date: October 08, 2019 - October 08, 2019
Submission Deadline: July 18, 2019
Notification of Acceptance: August 15, 2019
Camera Ready Version Due: September 08, 2019




Call for Papers

TAPAS 2019
http://staticanalysis.org/tapas2019/
A satellite workshop of SAS 2019. Part of the FM Week.

Objectives

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.

Scope

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:
* design and implementation of static analysis tools (including practical techniques used for obtaining precision and performance)
* components of static analysis tools (front-ends, abstract domains, etc.)
* integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.)
* reusable software infrastructure (analysis algorithms and frameworks)
* experience reports on the use of static analyzers (both research prototypes and industrial tools)

This workshop welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations.

Submission Guidelines

TAPAS 2019 welcomes the following categories of submissions:
* Regular papers (12-15+ pages)
* Short papers (6-8+ pages)
* Extended abstracts (2 pages)

Please use the LNCS style, and submit via the TAPAS 2019 author interface of EasyChair.

Publication

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.

Important Dates

Submission deadline: 18 July 2019 (extended)
Notification of acceptance: 15 August
Final version due: 8 September
Workshop: 8 October
Post-proceedings due: 15 November (tentative)

Program Committee

David Delmas, Airbus and Sorbonne Université, France (chair)
Fausto Spoto, Università di Verona, Italy
Caterina Urban, Inria, France
Franck Vedrine, CEA LIST, France
Jules Villard, Facebook, UK
Jingling Xue, University of New South Wales, Australia
Tomofumi Yuki, Inria, France
Sarah Zennou, Airbus, France



Credits and Sources

[1] TAPAS 2019 : 10th Workshop on Tools for Automatic Program Analysis


Check other Conferences, Workshops, Seminars, and Events


OTHER SOFTWARE ENGINEERING EVENTS

ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
SHOW ALL

OTHER SEMANTICS EVENTS

ReacTS 2025: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Toledo, Spain
Nov 10, 2025
EXPRESS/SOS 2025: Combined International Workshop on Expressiveness in Concurrency and on Structural Operational Semantics
Aarhus
Aug 25, 2025
LChange 2024: LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
Bangkok
Aug 15, 2024
MWE-UD 2024: Joint Workshop on Multiword Expressions and Universal Dependencies
Torino, Italy
May 25, 2024
PSSV 2023: International Workshop on Program Semantics, Specification and Verification
hybrid
Nov 3, 2023
SHOW ALL