Proceedings Fifth Workshop on Synthesis


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


Cite this paper

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