Call for papers
See a text version of the call.
Submission process
SynCoP seeks 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 in EPTCS LaTeX format for regular papers and 4 pages for tool papers.
All accepted papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS), an international refereed open access proceedings, using the Creative Commons CC-BY license. Hereby, the authors retain their copyright.
All accepted papers will be referenced using a DOI in all major databases (such as DBLP).
Accepted tool papers will be required to do a demo during the workshop.
Submission will be made in PDF format through Easychair:
https://easychair.org/conferences/?conf=syncop2016
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 EPTCS format submitted by email to syncop2016@easychair.org.
Tool demonstration only will not be part of the proceedings.
Tool demonstration submission: February 15th, 2016
Notification: February 22nd, 2016
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 EPTCS format submitted by email to syncop2016@easychair.org.
Informal presentations will not be part of the proceedings.
Informal presentation submission: February 15th, 2016
Notification: February 22nd, 2016
Later submissions might still be considered depending on possible space left in the workshop schedule.