posted by user: SvenSchewe || 4259 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

CXAI SI 2024   Special Issue on Causal and Explainable AI
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
IEEE-JBHI (SI) 2024   Special Issue on Revolutionizing Healthcare Informatics with Generative AI: Innovations and Implications
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
Applied Sciences (MDPI) SI:Cybersecurity 2024   Applied Sciences (MDPI) Special Issue - Cybersecurity: Advances in Security and Privacy Enhancing Technology
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
Gen AI in Finance SI PDW 2024   Generative AI in Finance SI Paper Development Workshop
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
SI DENA 2024   SPECIAL ISSUE on Differential Equations and Numerical Analysis
ICoSR 2024   2024 3rd International Conference on Service Robotics