Hybrid Systems: Computation and Control: 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25 27, Proceedings: 2289 (Lecture Notes in Computer Science)

WALCOM: Algorithms and Computation: 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March...

Controlled Natural Language: 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27,...

Mathematics and Computation in Music: 5th International Conference, MCM 2015, London, UK,...

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN,...