Important Dates:

May 1926, 2016
Submission Deadline (extended)

June 7, 2016
Acceptance Notification

June 17, 2016
Submission of camera-ready papers

July 5, 2016:
Workshop

July 6-8, 2016:
ECRTS Conference

Important Links:

Call for contributions [TXT|PDF]

Contribution formats & details

Submission instructions

Workshop Chairs:

Robert Kaiser
RheinMain University of Applied Sciences

Marcus Völp
University of Luxembourg

Program Committee:

Adam Lackorzynski
Kernkonzept GmbH

Andrea Bastoni
SYSGO AG

Chanik Park
Pohang University of Science and Technology

Daniel Lohmann
Friedrich-Alexander-Universität Erlangen-Nürnberg

Linh Thu Xuan Phan
University of Pennsylvania

Michael Engel
Oracle Labs

Paolo Gai
Evidence Srl

Pavel Pisa
Czech Technical University Prague

Rich West
Boston University

Shinya Honda
Nagoya University

FORMATTING INSTRUCTIONS

Submitted papers should follow the IEEE conference format (2 columns, 10 pt, single-line spacing, A4 paper) and should be submitted in PDF format.

LaTeX and MS Word templates may be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html

Talk proposals may follow any suitable format.

SUBMISSION INSTRUCTIONS

All submissions will be peer-reviewed by the program committee.

Submission website: https://ospert16.mpi-sws.org

To submit a proposal for a technical presentation or an experiment report without an accompanying paper, upload a one-page PDF file listing the title and a ~500 word abstract to the submission website.

To submit a short paper, upload a PDF file (up to 3 page) to the submission website

To submit a full paper, upload a PDF file (up to 6 pages) to the submission website.

The submission deadline is May 1926, 2016.

The papers, as well as all talk proposals, will be reviewed by the workshop program committee. All accepted papers will be made available to all participants one week before the workshop so that contributions can be examined prior to the event. The slides of all accepted talks will be collected at the workshop and made available on the workshop homepage after the workshop.

We want to encourage scientific reproducibility, and discourage redundant work within the community. Thus, it is strongly encouraged that code relevant to each submission is publicly available, and a link to it included in the submission. By submitting a paper, the authors agree and confirm that:

Further, by submitting a paper or a talk proposal, the authors agree and confirm that:

A copy of the proceedings will be made available online. The copyright remains with the authors.

Further information: