Proceedings Fifth Workshop on Synthesis

Abstract

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system. Contributions of interest include algorithms, complexity and decidability analysis, as well as reproducible heuristics… (More)
DOI: 10.4204/EPTCS.229

Topics

Cite this paper

@inproceedings{Piskac2016ProceedingsFW, title={Proceedings Fifth Workshop on Synthesis}, author={Ruzica Piskac and Rayna Dimitrova}, year={2016} }