[TYPES/announce] QAPL'17 - Extended Deadline (Regular Papers) & Call for Presentations

herbert at doc.ic.ac.uk herbert at doc.ic.ac.uk
Mon Feb 6 07:11:13 EST 2017


**************************************************************************

15th Workshop on Quantitative Aspects of Programming Languages and Systems
                                QAPL 2017
    Affiliated with ETAPS 2017 Uppsala, Sweden, Sunday 23 April 2017
                         http://qapl17.doc.ic.ac.uk

**************************************************************************

IMPORTANT DATES:

For regular papers:

   Submission (extended): 12 February 2017 (AoE)
   Notification: 10 March 2017 (AoE)
   Final version (ETAPS proceedings): 25 March 2017 (AoE)
   Final version (EPTCS proceedings): TBA

For presentation reports:

   Submission: 12 March 2017 (AoE)
   Notification: 15 March 2016 (AoE)

SUBMISSIONS:

In order to encourage participation and discussion, this workshop
solicits two types of submissions - regular papers and presentations:

1. Regular paper: Submissions must be original work, and must not have
   been previously published, nor be under consideration for
   publication elsewhere. Regular paper submission must not exceed 12
   pages (excluding the bibliography), additional technical material,
   proofs etc. can be provided in a clearly marked appendix which will
   be read by reviewers at their discretion. Regular papers will be
   reviewed by the PC.

2. Presentation reports concern recent or ongoing work on relevant
   topics and ideas, for timely discussion and feedback at the
   workshop. There is no restriction as for previous/future
   publication of the contents of a presentation. Typically, a
   presentation is based on a paper which recently appeared (or which
   is going to appear) in the proceedings of another recognized
   conference, or which has not yet been submitted. The (extended)
   abstract of presentation submissions should not exceed 4
   pages. Presentation reports will be selected by the PC Chairs (based
   on the availability of presentation time).

All submissions must be in PDF format and use the EPTCS LaTeX style,
see http://style.eptcs.org/. Submissions can be made on the following
website:

    http://www.easychair.org/conferences/?conf=qapl17

The workshop PC will review all regular paper submissions based on
their relevance, merit, originality, and technical content.
Presentation reports will receive a lightweight review to establish
their relevance for the workshop. The authors of accepted submissions
of both types are expected to present and discuss their work at the
workshop. Accepted regular papers will be published electronically in
the pre-proceedings available during the workshop and after the
workshop in the Electronic Proceedings in Theoretical Computer Science
(EPTCS) as post-proceedings. Short papers will not be included in the
EPTCS post-proceedings.



More information about the Types-announce mailing list