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:
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".