IWIL2015: Volume InformationIWIL2015. 11th International Workshop on the Implementation of Logics11 articles•126 pages•Published: September 27, 2016 PapersKeyphrasesautomated reasoning, automated theorem proving^{2}, backtracking, Boolean calculus, coinduction, Coinductive predicate, Compression, computational linguistics, Dedukti, derivation, equivalence problem, firstorder logic, Flyspeck, glucose, greatest fixpoint, higherorder logic, HOL Light, induction, inductive predicate, interpretation, largetheory automated reasoning, learnt clause database, least fixpoint, Logistic Supply Chain, mechanical proof assistant, ML Polymorphism, model, monad, nbSAT, Parsing Mathematics, probability theory, proof, proof certification, proof search, proofcert, Reliability Block Diagrams, Representation of sets of equivalent terms, SAT, Simplification of expressions, tableau method, Tarskian Geometry, TPTP^{2}, TSTP, type checking, verification. 
