16 research outputs found

    Values for a Post-Pandemic Future

    Get PDF
    This open access book shows how value sensitive design (VSD), responsible innovation, and comprehensive engineering can guide the rapid development of technological responses to the COVID-19 crisis. Responding to the ethical challenges of data-driven technologies and other tools requires thinking about values in the context of a pandemic as well as in a post-COVID world. Instilling values must be prioritized from the beginning, not only in the emergency response to the pandemic, but in how to proceed with new societal precedents materializing, new norms of health surveillance, and new public health requirements. The contributors with expertise in VSD bridge the gap between ethical acceptability and social acceptance. By addressing ethical acceptability and societal acceptance together, VSD guides COVID-technologies in a way that strengthens their ability to fight the virus, and outlines pathways for the resolution of moral dilemmas. This volume provides diachronic reflections on the crisis response to address long-term moral consequences in light of the post-pandemic future. Both contact-tracing apps and immunity passports must work in a multi-system environment, and will be required to succeed alongside institutions, incentive structures, regulatory bodies, and current legislation. This text appeals to students, researchers and importantly, professionals in the field

    Values for a Post-Pandemic Future

    Get PDF
    This Open Access book shows how value sensitive design (VSD), responsible innovation, and comprehensive engineering can guide the rapid development of technological responses to the COVID-19 crisis. Responding to the ethical challenges of data-driven technologies and other tools requires thinking about values in the context of a pandemic as well as in a post-COVID world. Instilling values must be prioritized from the beginning, not only in the emergency response to the pandemic, but in how to proceed with new societal precedents materializing, new norms of health surveillance, and new public health requirements. The contributors with expertise in VSD bridge the gap between ethical acceptability and social acceptance. By addressing ethical acceptability and societal acceptance together, VSD guides COVID-technologies in a way that strengthens their ability to fight the virus, and outlines pathways for the resolution of moral dilemmas. This volume provides diachronic reflections on the crisis response to address long-term moral consequences in light of the post-pandemic future. Both contact-tracing apps and immunity passports must work in a multi-system environment, and will be required to succeed alongside institutions, incentive structures, regulatory bodies, and current legislation. This text appeals to students, researchers and importantly, professionals in the field

    Values for a Post-Pandemic Future

    Get PDF

    EUROCOMB 21 Book of extended abstracts

    Get PDF

    Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence

    Full text link
    It is well known that the length of a beta-reduction sequence of a simply typed lambda-term of order k can be huge; it is as large as k-fold exponential in the size of the lambda-term in the worst case. We consider the following relevant question about quantitative properties, instead of the worst case: how many simply typed lambda-terms have very long reduction sequences? We provide a partial answer to this question, by showing that asymptotically almost every simply typed lambda-term of order k has a reduction sequence as long as (k-1)-fold exponential in the term size, under the assumption that the arity of functions and the number of variables that may occur in every subterm are bounded above by a constant. To prove it, we have extended the infinite monkey theorem for strings to a parametrized one for regular tree languages, which may be of independent interest. The work has been motivated by quantitative analysis of the complexity of higher-order model checking

    Advanced reduction techniques for model checking

    Get PDF
    corecore