Tests and Proofs : 10th International Conference,TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Unconventional Computation and Natural Computation : 15th International Conference,UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Biomedical Data Management and Graph Online Querying : VLDB 2015 Workshops,Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revis
Cultural Robotics : First International Workshop,CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers
Information Technology in Bio- and Medical Informatics : 7th International Conference,ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings
Collaboration and Technology : 22nd International Conference,CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings
Rewriting Logic and Its Applications : 11th International Workshop,WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2
Formal Modeling and Analysis of Timed Systems : 14th International Conference,FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Web Reasoning and Rule Systems : 10th International Conference,RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
Programming Languages : 20th Brazilian Symposium,SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Multiagent System Technologies : 14th German Conference,MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings
Software Engineering for Resilient Systems : 8th International Workshop,SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
