Submissions
TAP 2021 accepts papers of four kinds:
- Regular research papers: full submissions describing original research, of up to 16 pages (excluding references).
- Tool demonstration papers: submissions describing the design and implementation of an analysis/verification tool or framework, of up to 8 pages (excluding references). The tool/framework described in a tool demonstration paper should be available for public use.
- Short papers: submissions describing preliminary findings, proofs of concepts, and exploratory studies, of up to 6 pages (excluding references).
- Journal-first extended abstracts, of up to 4 pages, summarizing recently published articles in high-quality journals. The aim of journal-first papers is to further enrich the program of TAP, as well as to provide an more flexible path to dissemination of results in the field. The summarized journal article should have been published (or accepted) by 1 July 2020 or later, and report new results (as opposed as simply extending prior conference work with 'appendix' material, or minor enhancements). Journal-first submissions must be marked as such in the submission’s title, and must explicitly include full bibliographic details (including a DOI) of the journal publication they are based on.
Accepted papers will be published in the Springer LNCS series. Selected papers will be invited for a journal special issue.
All submissions for review and publication must follow the publication format of the Springer LNCS. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper.
See also guidelines and templates (Word, LaTeX) at https://www.springer.com/de/it-informatik/lncs/conference-proceedings-guidelines. The maximum number of pages is based on this format.
Please submit your abstract and paper via EasyChair: http://www.easychair.org/conferences/?conf=tap2021.
Make sure to correctly enter all authors in the correct order. Later addition of authors is not possible. Titles can be changed only if required by the program committee.
Please provide a meaningful abstract and carefully choose keywords since they are important in assigning reviewers to your work.
By submitting a paper to TAP, authors warrant that the work is original and that the paper or a similar contribution is neither published nor considered for publication elsewhere.
