Combinatorial Pattern Matching : 24th Annual Symposium,CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings
Trust and Trustworthy Computing : 6th International Conference,TRUST 2013, London, UK, June 17-19, 2013, Proceedings
Modelling Foundations and Applications : 9th European Conference,ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Unconventional Computation and Natural Computation : 12th International Conference,UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings
Privacy Enhancing Technologies : 13th International Symposium,PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings
E-Voting and Identity : 4th International Conference,Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
Detection of Intrusions and Malware,and Vulnerability Assessment : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proc
Structured Object-Oriented Formal Language and Method : Second International Workshop,SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Pa
Mathematics and Computation in Music : 4th International Conference,MCM 2013, Montreal, Canada, June 12-14, 2013, Proceedings
Data Integration in the Life Sciences : 9th International Conference,DILS 2013, Montreal, Canada, July 11-12, 2013, Proceedings
Artificial General Intelligence : 6th International Conference,AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings
Theory,Practice, and Applications of Rules on the Web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings
