Advances in Natural Language Processing : 8th International Conference on NLP,JapTAL 2012, Kanazawa, Japan, October 22-24, 2012, Proceedings
Leveraging Applications of Formal Methods,Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15
Algorithmic Learning Theory : 23rd International Conference,ALT 2012, Lyon, France, October 29-31, 2012, Proceedings
Computational Issues in Fluid Construction Grammar
Decision and Game Theory for Security : Third International Conference,GameSec 2012, Budapest, Hungary, November 5-6, 2012, Proceedings
Information Systems Security : 8th International Conference,ICISS 2012, Guwahati, India, December 15-19, 2012, Proceedings
Brain Informatics : International Conference,BI 2012, Macau, China, December 4-7, 2012, Proceedings
Cryptology and Network Security : 11th International Conference,CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings
Information Security Applications : 13th International Workshop,WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers
Principles of Distributed Systems : 16th International Conference,OPODIS 2012, Rome, Italy, December 18-20, 2012, Proceedings
Artificial General Intelligence : 5th International Conference,AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
Runtime Verification : Third International Conference,RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
