\documentclass[12pt]{article}

\thispagestyle{empty}


\usepackage{a4wide}

\input{psfig}

\renewcommand{\baselinestretch}{0.95}

\newcommand{\ciao}{\psfig{figure=ciao_st.ps}}

\setlength{\textwidth}{17.2cm}
\setlength{\textheight}{25.3cm}

\begin{document}

\topmargin -40pt

\Large

\centerline{\ciao}

%\vspace*{-0.5cm}
\section*{What is Ciao?}
%\vspace*{-0.5cm}

\begin{itemize}
  
\item Next generation, multi paradigm (including logic, functional,
  constraints, objects) programming system.


\item Free Software distributed under GNU GPL and LGPL.

\item Result of several EU and Spain funded projects.

\item Large number ($>$ 5000) of downloads.

\item Interest shown by important software companies.

\item Many supported platforms: Linux/Unix, Windows, Mac OS X\ldots

\item Designed with extensibility in mind.

\item Many interesting characteristics:
  \begin{itemize}
  \item Robust module system, incremental stand-alone compiler (plus
    traditional toplevel), multi-architecture executables.
  \item Foreign interfaces: C, Java, SQL, Tcl/Tk, etc.
  \item Web/Internet programming: \emph{Pillow} library.
  \item Distribution / agent programming being actively worked on.
  \end{itemize}

\item Industry standard performance.

\end{itemize}

%% \vspace*{-0.9cm}
%% \section*{Some possible venues for EU funded projects}
%% \vspace*{-0.5cm}
%% \begin{itemize}
%% \item  Remote and mobile agent programming. Coordination protocols.
%% 
%% \item  Rule-based dynamic customization of web sites.
%% 
%% \item  Constraint-based document search.
%% \end{itemize}

%\vspace*{-0.7cm}
\section*{How to contact us}
%\vspace*{-0.5cm}

\begin{itemize}

\item Germ\'{a}n Puebla. {\tt german@fi.upm.es}
\item The CLIP Group. Technical University of Madrid.\\
 {\tt http://clip.dia.fi.upm.es}
\end{itemize}
\end{document}
