\documentclass{article}

\usepackage{fancybox}

\topmargin-1.25cm
\oddsidemargin-1.3cm
\evensidemargin-0.5cm
\textwidth18cm
\textheight24cm
\renewcommand{\baselinestretch}{1}
\pagestyle{empty}
\parskip5pt
\itemsep0pt

\tolerance=10000

\long\def\comment#1{}

\newcommand{\subtitle}[1]{ \par \vspace*{\parskip} \par
                           {\large {\bf #1}}
                           \par }


\begin{document}
\begin{center}
{\LARGE {\sf RDP 2003}}\\ [3mm]
{\Large \sf Federated Conference on Rewriting, Deduction and Programming}\\ [3mm]
{\large Valencia, Spain}\\ [2mm]
{\large June 8-14, 2003}\\ [7mm]
{\large Hosted by the {\sf Universidad Polit\'ecnica de Valencia}}\\
[5mm] \end{center}

\vfill

\doublebox{\begin{minipage}{0.25\textwidth}
\mbox{}\\[-3ex]
{\small

\begin{center}
\underline{\bf RDP 2003}
\end{center}
\begin{center}
June 8 - 14, 2003\\[1ex]
Valencia, Spain 
\end{center}

\vspace{3ex}

\begin{center}
\underline{\bf Participants}\\[2ex]
\begin{tabular}{rl}
RTA & June 9-11\\[1ex]
TLCA & June 10-12\\[1ex]
FTP & June 12-14\\[1ex]
WG1.6 & June 12\\[1ex]
RULE & June 9\\[1ex]
UNIF & June 8-9\\[1ex]
WFLP & June 12-13\\[1ex]
WRS & June 8\\[1ex]
WST & June 13-14\\
\end{tabular}
\end{center}
}

\vspace{3ex}

{\footnotesize
\begin{center}
\underline{\bf Organizers}
\end{center}
\begin{description}
\item[\sf Conference chair:] \mbox{}\\
Salvador Lucas\\
({\tt slucas@dsic.upv.es})
\item[\sf Workshops chair:] \mbox{}\\
Mar\'{\i}a Alpuente \\
({\tt alpuente@dsic.upv.es})
\item[\sf Publicity chair:] \mbox{}\\
Germ\'an Vidal\\
({\tt gvidal@dsic.upv.es})
\item[\sf Local arrangements:] \mbox{}\\
Jos\'e Hern\'andez\\
({\tt jorallo@dsic.upv.es})\\
Mar\'{\i}a Jos\'e Ram\'{\i}rez (chair)\\
({\tt mramirez@dsic.upv.es})
\item[\sf Secretary:] \mbox{}\\
Elvira Albert \\
({\tt ealbert@dsic.upv.es})\\
Javier Oliver (chair)\\
({\tt fjoliver@dsic.upv.es})
\end{description}
% The ELP group 
% \\
% \verb$www.dsic.upv.es/users/elp$

\mbox{}\\[-3ex]

} 
\end{minipage}
}
~~~~
\begin{minipage}{0.66\textwidth}
\renewcommand{\baselinestretch}{0.9}
\footnotesize
\small
The Federated Conference on Rewriting, 
Deduction and Programming will be held in Valencia, Spain, in 
June 2003. The conference will be hosted by the
\emph{Departamento de Sistemas 
Inform\'aticos y Computaci\'on} at the \emph{Universidad Polit\'ecnica 
de Valencia}.\\

RDP 2003 includes the following conferences, workshops and scientific 
meetings:\\[1ex]
\begin{description}
\item[\sf RTA'03] \hfill {\sf June 9-11} \\
14th International Conference on Rewriting Techniques 
and Applications\\
Program chair: Robert Nieuwenhuis ({\tt roberto@lsi.upc.es})

\item[\sf TLCA'03] \hfill {\sf June 10-12}\\
6th International Conference on Typed Lambda Calculi 
and Applications\\
Program chair: Martin Hofmann ({\tt 
mhofmann@informatik.uni-muenchen.de})

\item[\sf FTP'03] \hfill {\sf June 12-14}\\
4th International Workshop on First order Theorem Proving\\
Program co-chairs: Ingo Dahn ({\tt dahn@uni-koblenz.de}) and
Laurent Vigneron ({\tt vigneron@loria.fr})

\item[\sf WG 1.6] \hfill {\sf June 12}\\
IFIP Working Group 1.6 on Term Rewriting\\
Program chair: Claude Kirchner ({\tt Claude.Kirchner@loria.fr})

\item[\sf RULE'03] \hfill {\sf June 9}\\
4th International Workshop on Rule-Based Programming\\
Program co-chairs: Jean-Louis Giavitto ({\tt 
giavitto@lami.univ-evry.fr}) and Pierre-Etienne Moreau 
({\tt Pierre-Etienne.Moreau@loria.fr})

\item[\sf UNIF'03] \hfill {\sf June 8-9}\\
17th International Workshop on Unification\\
Program chair: Jordi Levy ({\tt levy@iiia.csic.es})

\item[\sf WFLP'03] \hfill {\sf June 12-13} \\
12th Int'l Workshop on Functional and 
(Constraint) Logic Programming\\
Program chair: Germ\'an Vidal ({\tt gvidal@dsic.upv.es})

\item[\sf WRS'03] \hfill {\sf June 8}\\
3rd Int'l Workshop on Reduction Strategies in 
Rewriting and Programming\\
Program co-chairs: Bernhard Gramlich ({\tt gramlich@logic.at}) and
Salvador Lucas ({\tt slucas@dsic.upv.es})


\item[\sf WST'03] \hfill {\sf June 13-14}\\
6th International Workshop on Termination\\
Program chair: Albert Rubio ({\tt albert@lsi.upc.es})
\end{description}

\vspace{3ex}

% \noindent
% The conference is organized by the ELP group at the 
% Universidad Polit\'ecnica de Valencia \\

\noindent
{\bf Contact}\\
\mbox{}\hspace{4ex}Salvador Lucas\\
\mbox{}\hspace{4ex}Departamento de Sistemas Inform\'aticos 
y Computaci\'on (DSIC)\\
\mbox{}\hspace{4ex}Universidad Polit\'ecnica de Valencia\\
\mbox{}\hspace{4ex}Camino de Vera, s/n, E-46022 Valencia (Spain)\\
\mbox{}\hspace{4ex}Phone: + 34 96 387 7353 (73531) /
Fax: + 34 96 387 7359\\
\mbox{}\hspace{4ex}Email: {\tt slucas@dsic.upv.es}

\vspace{4ex}

\noindent
\mbox{~~} \hfill \ovalbox{\sf RDP website: 
~{\tt http://www.dsic.upv.es/$\sim$rdp03}}

\end{minipage}

\vfill\mbox{}
\end{document}






