conferences.computer.science

All conferences / SYNT / 2018

SYNT 2018

7th Workshop on Synthesis

Held18 Jul 2018 WhereOxford 🏴󠁧󠁢󠁥󠁮󠁧󠁿 RankCORE absent Website synt2018.seas.ucla.edu/ ↗
Closed

Submission closed on 1 May 2018.

Submission timeline

  • 1 May 2018 Full paper
  • 8 May 2018 Notification
  • 18 Jul 2018 Conference opens

What to submit

Format
15 pages EPTCS + references (long) / 7 pages + references (tool)
Proceedings
EPTCS — CC BY

Satellite event of FLoC. Extended versions of a selection of accepted submissions will form the basis of a special issue of Acta Informatica, to be published after the workshop.

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at synt2018.seas.ucla.edu/. 

Call for Papers

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The workshop fosters the development of frontier techniques in automating the development of computing systems and is inclusive in its interpretation of the term synthesis

Topics of interest include, but are not limited to:

    algorithms and tools for software synthesis and reactive (discrete-time, timed, hybrid, ...) synthesis,
    specification languages and optimization in synthesis,
    complexity and decidability results for synthesis,
    case studies of software or hardware synthesis,
    connections between verification and synthesis,
    synthesis by model learning,
    connections between synthesis and inductive programming,
    new approaches or applications for synthesis,
    description and analysis of benchmark families for synthesis.

We welcome both full papers (max. 15 pages in EPTCS style, excluding references) and one-page abstracts in the same format. Submissions will be judged on how interesting they are to the SYNT community. Overlap with previously published work should be indicated, but does not disqualify a submission if the presentation can be expected to be of enough interest. Copies of the accepted submissions will be provided to the participants.

Extended versions of a selection of accepted submissions will form the basis of a special issue of Acta Informatica, to be published after the workshop.
Submission URL:

Paper submission is done via easychair.org
Important dates:

    Paper submission: May 1, 2018
    Author notification: May 8, 2018
    Camera-ready Version: May 22, 2018
    Workshop: July 18, 2018

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.