posted by user: ruediger || 2973 views || tracked by 9 users: [display]

SYNT 2014 : 3rd Workshop on Synthesis

FacebookTwitterLinkedInGoogle

Link: http://vsl2014.at/pages/SYNT-index.html
 
When Jul 23, 2014 - Jul 24, 2014
Where Vienna, Austria
Submission Deadline Apr 15, 2014
Notification Due Jun 3, 2014
Final Version Due Jun 25, 2014
Categories    formal methods   computer science   software engineering
 

Call For Papers


SYNT 2014 - Call For Papers

3rd Workshop on Synthesis

Vienna, Austria, July 23-24, 2014

http://vsl2014.at/synt

----------------------------------------------------------------------

The idea of synthesis, i.e., the process of automatically computing
implementations from their specifications, has recently gained a lot
of momentum in the contexts of software engineering and reactive
system design. While it is widely believed that, due to complexity/
undecidability issues, synthesis cannot completely replace manual
engineering, it can assist the process of designing the intricate
pieces of code that most programmers find challenging, or help with
orchestrating tasks in reactive environments.

This workshop aims at bringing together and providing an open
platform for researchers interested in synthesis. Research on
synthesis exists well alongside conferences on formal methods and
verification, such as CAV, which aim at improving the reliability of
systems. Driven by the vast potential for practical applications of
synthesis, we aim at fostering scientific exchange not only within the
areas of software and reactive synthesis, but also between them.

SYNT 2014 is a satellite event of CAV 2014 and will take place in the
scope of the Vienna Summer of Logic (VSL) 2014.

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 impossibility results for synthesis
* case studies of software or hardware synthesis
* connections between verification and synthesis

----------------------------------------------------------------------

We welcome scientific contributions of the following forms:
* regular papers (max. 15 pages in EPTCS style, excluding references)
* tool papers (max. 7 pages in EPTCS style, excluding references)

Submitted regular and tool papers must be original and unpublished.
Papers accepted for presentation at the workshop will appear in the
Electronic Proceedings in Theoretical Computer Science series; hence,
submissions must be prepared in LaTeX using the EPTCS macro package.
Given sufficient interest, extended versions of selected papers will
appear in a special issue of the journal Acta Informatica.

Paper submission deadline is April 15, 2014.

----------------------------------------------------------------------

Program Committee:
* Pavol Cerny (University of Colorado at Boulder)
* Krishnendu Chatterjee (IST Austria)
* Ruediger Ehlers (University of Bremen)
* Bernd Finkbeiner (Saarland University)
* Swen Jacobs (TU Graz)
* Jean-Francois Raskin (Universite libre de Bruxelles)
* Susmit Jha (Intel Strategic CAD Lab)
* Barbara Jobstmann (Jasper Design Automation / EPFL)
* Orna Kupferman (Hebrew University of Jerusalem)
* Nir Piterman (University of Leicester)
* Sriram Sankaranarayanan (University of Colorado)
* Armando Solar-Lezama (Massachusetts Institute of Technology)
* Ashish Tiwari (SRI International)
* Emina Torlak (UC Berkeley)

Organization Committee:
* Krishnendu Chatterjee (IST Austria)
* Rüdiger Ehlers (University of Bremen)
* Susmit Jha (Intel Strategic CAD Lab)

----------------------------------------------------------------------

Invited speakers will be announced soon.

The SYNT 2014 workshop is kindly supported by the Expedition in
Computer Augmented Program Engineering (ExCAPE) project and the
Austrian Rigorous System Engineering Network (RiSE).

Related Resources

SIUSAI 2021-Ei Compendex 2021   2021 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence(SIUSAI 2021)
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
EI ISCSIC 2020   2020 4th International Symposium on Computer Science and Intelligent Control(ISCSIC 2020)
CVPR 2020   Computer Vision and Pattern Recognition
ISCSIC-Ei Compendex & Scopus 2020   2020 4th International Symposium on Computer Science and Intelligent Control(ISCSIC 2020)
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
3rd ICSTR Barcelona September 2020   3rd ICSTR Barcelona – International Conference on Science & Technology Research, 03-04 September 2020
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
3rd ICSTR Budapest July 2020   3rd ICSTR Budapest – International Conference on Science & Technology Research, 03-04 July 2020
CMLA 2019   International Conference on Machine Learning & Applications