This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18-21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference and publication in this v- ume. In keeping with longstanding tradition, TPHOLs 2008 also o?ered a venue for the presentation of emerging trends, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2008 technical report of Concordia University. The organizersaregratefulto MichaelGordonand StevenMiller for agreeing togiveinvitedtalksatTPHOLs2008.Aspartofthecelebrationofthe20yearsof TPHOLs, TPHOLs 2008 invited tool developers and expert users to give special tool presentations of the most representative theorem provers in higher order logics. The following speakers kindly accepted our invitation and we aregrateful tothem: YvesBertot(Coq), MattKaufmann(ACL2), SamOwre(PVS), Konrad Slind (HOL), and Makarius Wenzel (Isabel

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

New antiviral drugs are urgently needed. Recent outbreaks caused by viruses with great epidemiological impact such as Zika, or extraordinary virulence such as Ebola, Nipah, Lassa, Crimean-Congo haemorrhagic fever highlight the current lack of clinically proven vaccines and treatments for these potentially catastrophic agents. Antiviral Discovery for Highly Pathogenic Emerging Viruses comprehensively outlines the state of the art in antiviral drug discovery including identification of targets, screening strategies and the current pipeline of antiviral candidates including regulatory issues. The book also addresses the challenges faced in proceeding from pre-clinical studies to animal models and clinical trials with these highly pathogenic agents. Ideal for drug discovery scientists and medicinal chemists with an interest in antiviral drug discovery and development, this book provides a complete overview of the latest progress in the field, recent advances and the challenges that remain in developing these highly pathogenic agents. Illustrated throughout with case studies this book is a valuable resource in this complex and multidisciplinary field.