%0 Generic %1 finkbeiner2014proceedings %A Finkbeiner, Bernd %A Solar-Lezama, Armando %D 2014 %K synthesis workshop %R 10.4204/EPTCS.142 %T Proceedings Second Workshop on Synthesis %U http://arxiv.org/abs/1403.7264 %X Software synthesis is rapidly developing into an important research area with vast potential for practical application. The SYNT Workshop on Synthesis aims to bringing together researchers interested in synthesis to present both ongoing and mature work on all aspects of automated synthesis and its applications. The second iteration of SYNT took place in Saint Petersburg, Russia, and was co-located with the 25th International Conference on Computer Aided Verification. The workshop included eleven presentations covering the full scope of the emerging synthesis community, as well as a discussion lead by Swen Jacobs on the organization of two new synthesis competitions focusing on reactive synthesis and syntax-guided functional synthesis respectively.

@conference{finkbeiner2014proceedings, abstract = {Software synthesis is rapidly developing into an important research area with vast potential for practical application. The SYNT Workshop on Synthesis aims to bringing together researchers interested in synthesis to present both ongoing and mature work on all aspects of automated synthesis and its applications. The second iteration of SYNT took place in Saint Petersburg, Russia, and was co-located with the 25th International Conference on Computer Aided Verification. The workshop included eleven presentations covering the full scope of the emerging synthesis community, as well as a discussion lead by Swen Jacobs on the organization of two new synthesis competitions focusing on reactive synthesis and syntax-guided functional synthesis respectively.}, added-at = {2014-11-15T20:58:18.000+0100}, author = {Finkbeiner, Bernd and Solar-Lezama, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2b8c25f2bd22a4054fa0f3792cddd0d70/kaptoxic}, description = {Proceedings Second Workshop on Synthesis}, doi = {10.4204/EPTCS.142}, interhash = {22e532dfddf5e5607220438d02e87f6b}, intrahash = {b8c25f2bd22a4054fa0f3792cddd0d70}, keywords = {synthesis workshop}, note = {cite arxiv:1403.7264}, timestamp = {2014-11-15T20:58:18.000+0100}, title = {Proceedings Second Workshop on Synthesis}, url = {http://arxiv.org/abs/1403.7264}, year = 2014 }