ARW2016: Accepted Abstracts Giles Reger and Martin Suda. Using SAT and SMT Solvers for Finite Model Finding with Sorts. Ekereuke Udoh, Vladimir Getov and Alexander Bolotov. Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks. Paul Gainer, Clare Dixon and Ullrich Hustadt. Probabilistic Verification of an Ant-Based Swarming Algorithm. Yizheng Zhao and Renate A. Schmidt. Concept and Role Forgetting in ALCOIHmu+(top, and)-Ontologies. Fabio Papacchini. Rewriting ALC-TBoxes of Depth One via Resolution. Lorenzo Gheri. Universal Algebra for Syntax with Bindings. Louise Dennis, Maryam Kamali and Michael Fisher. Verifiable Autonomy using Rational Agents. Claudia Nalon, Ullrich Hustadt and Clare Dixon. KSP: A resolution-based prover for multimodal K. Renate Schmidt and Uwe Waldmann. Modal Tableau Systems with Blocking and Congruence Closure. Alexander Bolotov and Vasily Shangin. Towards Generalised Proof Search for Natural Deduction Systems for Logics I<\alpha,\beta>.