The list of accepted papers is also available with abstracts.

• Jean-Marc Alliot. (The Final) Countdown (details)
• Abdullah Aref and Thomas Tran. A trust establishment model using indirect feedback (details)
• Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit and Charles Prud'Homme. A Modelling Pearl with Sortedness Constraints (details)
• Gela Besiashvili, Tamar Bliadze and Zurab Kochladze. Application of adaptive neural networks for the filtration of the spam (details)
• Stefan Borgwardt and Veronika Thost. Temporal Query Answering in DL-Lite with Negation (details)
• Michael Bukatin and Steve Matthews. Linear Models of Computation and Program Learning (details)
• Emmanuelle-Anna Dietz, Steffen Hölldobler and Luís Moniz Pereira. On Conditionals (details)
• Shasha Feng, Michel Ludwig and Dirk Walther. Foundations for the Logical Difference of EL-TBoxes (details)
• Maria Andreina Francisco, Pierre Flener and Justin Pearson. Implied Constraints for Automaton Constraints (details)
• Michael Färber and Cezary Kaliszyk. Metis-based Paramodulation Tactic for HOL Light (details)
• Zurab Khasidashvili, Konstantin Korovin and Dmitry Tsarkov. EPR-based k-induction with counterexample guided abstraction refinement (details)
• Irina Khutsishvili, Gia Sirbiladze and Gvanca Tsulaia. Hesitant Fuzzy MADM Approach in Optimal Selection of the Investment Projects (details)
• Marek Kurzynski. Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand (details)
• Arman Masoumi, Mikhail Soutchanski and Megan Antoniazzi. Modeling Organic Chemistry and Planning Organic Synthesis (details)
• Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen and Erika Abraham. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs (details)
• David Pearce and Levan Uridia. Trust, Belief and Honesty (details)
• Elena Ravve, Zeev Volkovich and Gerhard Weber. A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures (details)
• Yakoub Salhi and Michael Sioutis. A Resolution Method for Modal Logic S5 (details)
• Simon Schäfer and Stephan Schulz. Breeding Theorem Proving Heuristics with Genetic Algorithms (details)
• Eugenia Ternovska. An Algebra of Combined Constraint Solving (Research Project Description) (details)
• Antonina Tretyakova and Franciszek Seredynski. Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks (details)
• Josef Urban. BliStr: The Blind Strategymaker (details)