[TYPES/announce] Acta Informatica Special Issue on Synthesis - Call for Papers

[Ruediger Ehlers]

                          Acta Informatica

                     Special Issue on Synthesis
        Guest editors: Krishnendu Chatterjee and Ruediger Ehlers

                 Submission deadline: 01.03.2015

----------------------------------------------------------------------

This special issue is devoted to the scope of the Third Workshop on
Synthesis, SYNT 2014 (see http://vsl2014.at/synt). SYNT 2014 was
co-located with CAV in the scope of the Vienna Summer of Logic 2014 and
was devoted to bringing together researchers from different research
areas who work on the quickly growing field of synthesis. The special
issue will cover all topics related to synthesis, which includes, but is
not limited to,

- algorithms and tools for software synthesis and reactive
   (discrete-time, timed, hybrid, ...) synthesis,
- specification languages and optimization in synthesis,
- complexity and impossibility results for synthesis,
- case studies of software or hardware synthesis,
- synthesis in systems biology, and
- connections between verification and synthesis.

Submission to this special issue is completely open and not limited to
participants of the SYNT 2014 workshop. We expect original articles
(typically 15-30 pages), which present high-quality contributions that
have not been previously published in a journal and are not concurrently
submitted to any other peer reviewed venue. All submissions should
include some theoretical contribution to the area of synthesis. Extended
versions of contributions previously published in proceedings need to
contain significant new material and should be accompanied by a short
description of the extension.

Submissions should be sent to acta at informatik.uni-oldenburg.de with
subject "Special Issue on Synthesis" and comply with author guidelines
of Acta Informatica (see
http://www.springer.com/computer/theoretical+computer+science/journal/236).