Call For Articles

Acta Informatica

Special Issue on Synthesis
Guest editors: Doron Peled and Sven Schewe

Submission deadline: 01.02.2013

This special issue is devoted to the scope of the First Workshop on Synthesis, SYNT 2012 (see http://www.csc.liv.ac.uk/~sven/synt2012.html). SYNT2012 was co-located with CAV and devoted to bringing together researchers from different research areas who work on the fast growing field of synthesis. The special issue will cover all topics related to synthesis, which includes, but is not limited to,

- games for synthesis,
- synthesis in systems biology,
- hardware synthesis,
- synthesis tools,
- automata, and
- specification languages

Submission to this special issue is completely open. We expect original articles (typically 20-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. 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@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).