  This abstract seeks to introduce the ISSAC community to the DEWCAD project,
which is based at Coventry University and the University of Bath, in the United
Kingdom. The project seeks to push back the Doubly Exponential Wall of
Cylindrical Algebraic Decomposition, through the integration of SAT/SMT
technology, the extension of Lazard projection theory, and the development of
new algorithms based on CAD technology but without producing CADs themselves.
The project also seeks to develop applications of CAD and will focus on
applications in the domains of economics and bio-network analysis.
