Call for papers
See a text version of the call.
Submission process
We accept both regular papers and tool papers.
The content of papers should be original and not submitted elsewhere. All papers will be assigned to at least three reviews. The page limit is 12 pages for regular papers, and 4 pages for tool papers, in the OASIcs format
All accepted papers will be published in Dagstuhl’s OpenAccess Series in Informatics (OASIcs) series, free and open access online proceedings. The papers will be referenced in major databases such as DBLP, and published under the Creative Commons CC-BY license. Hereby, the authors retain their copyright.
(Substantial revisions may later be published elsewhere.)
Submission will be made in PDF format through Easychair:
https://easychair.org/conferences/?conf=syncop2015
Call for tool demonstrations
All accepted tool papers will be required to do a tool demonstration. In addition, we also solicit tool demonstration only; if you want to present your tool without submitting a paper, this is possible.
Submission will be made in the form of an abstract (typically more or less one page) in the OASIcs format submitted by email.
Tool demonstration only will not be part of the proceedings.
Tool demonstration submission: February 23rd, 2015
Notification: February 27th, 2015
Call for informal presentations
Informal presentations are presentations of ongoing work, or work already published somewhere. It does not require to be mature nor original.
Submission will be made in the form of an abstract (typically more or less one page) in the OASIcs format submitted by email.
Informal presentations will not be part of the proceedings.
Informal presentation submission: February 23rd, 2015
Notification: February 27th, 2015
Later submissions may still be considered depending on possible space left in the workshop schedule.