posted by user: SvenSchewe || 3877 views || tracked by 10 users: [display]

SI SYNT 2013 : Acta Informatica, Special Issue on Synthesis

FacebookTwitterLinkedInGoogle

Link: http://cgi.csc.liv.ac.uk/~sven/synt2012.html
 
When N/A
Where N/A
Submission Deadline Feb 1, 2013
Categories    computer science   control   formal methods
 

Call For Papers

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

Related Resources

RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
IJITCA 2022   International Journal of Information Technology, Control and Automation
SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
IOP, EI, Scopus-PRECE 2022   2022 International Conference on Power, Renewable Energy and Control Engineering (PRECE 2022)-EI Compendex
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
LOPSTR 2022   32nd International Symposium on Logic-Based Program Synthesis and Transformation
ICBDB 2022   2022 4th International Conference on Big Data and Blockchain(ICBDB 2022)