[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