Date of Original Version
Copyright 2012 Peter B. Andrews
Abstract or Description
We discuss some of the opportunities and problems which may confront the field of automated reasoning in the years ahead. We focus on various issues related to the development of a Universal Automated Information System for Science and Technology, and the problem of developing institutional support for long-term projects
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), 2012.