%==============
\begin{center}
{\LARGE \bf Formal Analysis of PDEs
}
\end{center}
%==============
\bigskip

\noindent
{\bf Organizer}

\medskip

Vladimir P. Gerdt (gerdt@jinr.dubna.su)

\bigskip

\noindent
{\bf Description}
\medskip

The session is to be devoted to the algorithmic and applied aspects of analysis of algebraic PDEs,
based on their transformation into the special forms which are called in the literature as formal
integrable, passive, involutive or standard. Such forms are much like to a Groebner basis and allow
one to extract an important information on the equation system without its explicit integration.
This information includes, in particular, compatibility analysis, finding dimension of the solution
space, formulation of the initial conditions providing uniqueness and holomorphy of solution.
Recently a number of different algorithmic techniques were designed and some of them have been
implemented in computer algebra systems Axiom, Maple and Reduce. Over the session one
expects presentation of some algorithmic approaches and their discussion in view of differential
algebra, interconnection of the above special forms of PDEs with differential Groebner bases and
characteristic sets, application to real problems of theoretical and mathematical physics, applied
mathematics. One of the most important applications is Lie symmetry analysis of nonlinear
differential equations which is the most universal tool of their integration. 

\bigskip
\noindent
{\bf Talks}
\medskip

Date: July 17th (Wednesday)
\begin{description}
\item[08:30-9:20] \ \\
  Werner M. Seiler\\
  {\bf Involutive systems and the numerical analysis of constrained Hamiltonian Systems
} 
\item[09:20-09:50] \ \\
  Fran\c{c}ois Boulier\\
  {\bf Some improvements of a lemma of Rosenfeld.} 
\item[09:50-10:20 ] \ \\
  Sally D. Morrison\\
  {\bf A Generalization of Rosenfeld's Lemma.
} 
\item[10:20-10:30] \ \\
  \\
  {\bf Coffee Break} 
\item[10:20-10:30 ] \ \\
  \\
  {\bf Coffee Break } 
\item[10:30-11:00] \ \\
  Gregory J. Reid\\
  {\bf The rif and radical rif algorithms.
} 
\item[11:00-11:30 ] \ \\
  Giuseppa Carr\`a Ferro\\
  {\bf Triangular Matrices, Differential Resultants and Systems of Linear Homogeneous
    PDE's.} 
\item[11:30-12:00] \ \\
  Vladimir P. Gerdt\\
  {\bf Minimal Involutive Bases.} 
\end{description}

