IWIL2015. 11th International Workshop on the Implementation of Logics11 articles•126 pages•Published: September 27, 2016 PapersPages 114  Pages 1520  Pages 2126  Pages 2736  Pages 3751  Pages 5266  Pages 6777  Pages 7890  Pages 91105  Pages 106121  Pages 122126 
Keyphrasesautomated 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 
