Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017.
Published in: SYNT@CAV (2017)
Keyphrases
- international workshop
- acm sigkdd
- lecture notes
- computer science
- selected papers
- dagstuhl castle
- naacl hlt
- international conference
- invited paper
- lecture notes in artificial intelligence
- international symposium
- cyber security and information intelligence
- workshop on artificial intelligence
- annual conference
- human computation
- natural language processing
- knowledge discovery and data mining
- pacific rim
- acm sigmod
- student research workshop
- advances in artificial intelligence
- invited talk
- hong kong
- neural network