Acta Informatica Special Issue on Synthesis

Guest Editors: Paulo Tabuada and Roderick Bloem
Submission Deadline: 15 Januaray, 2019

This special issue is devoted to the scope of the Third Workshop on Synthesis, SYNT 2018. SYNT 2018 was part of the Federated Logic Conferences in Oxford and was devoted to bringing 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

Submission to this special issue is completely open and not limited to participants of the SYNT 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.

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.

The submission system will open from 15 December until 15 January. See LINK and then click on "Submit Online". The article type should be "S.I.: SYNT'18".