\begin{center}
\LARGE
The Stability of Boundary Conditions 

\end{center}

\begin{center}
\Large
R. Liska, S. Steinberg

\end{center}

\noindent
Date:  July 19th (Friday)\\
Time: 16:50-17:10\\

\begin{center}
\large
Abstract
\end{center}

The question of whether boundary conditions in an initial-boundary value problem for a partial
differential equation or for a finite-difference equation are stable or not can be reduced to a
quantifier elimination problem with many equalities. This talk will show how to do the reduction
and explore some techniques for solving such problems. 

Such stability problems are critical part of developing stable boundary conditions for higher-order
discretizations of partial differential equations. 

