posted by user: ruediger || 2414 views || tracked by 5 users: [display]

SYNT 2014 : Acta Informatica Special Issue on the 3rd Workshop on Synthesis

FacebookTwitterLinkedInGoogle

 
When N/A
Where N/A
Submission Deadline Mar 1, 2015
Categories    formal methods   special issue   computer science
 

Call For Papers

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@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).

Related Resources

AIP Journal - Indexed in Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
RiE 2021   12th International Conference on Robotics in Education
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
AIP Journal - Indexed in Scopus 2020   Journal of Social and Business Informatics - Acta Informatica Pragensia
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
4th Rome ICSSH 2021   4th Rome – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
CiVEJ 2020   Civil Engineering and Urban Planning: An International Journal
SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
NLPI 2021   2nd International Conference on NLP & Information Retrieval
3rd Athens ICSSH Sept 2021   3rd Athens – International Conference on Social Science & Humanities (ICSSH), 15-16 September 2021