\documentclass[10pt,english]{article}
\usepackage{sbcd}
\usepackage{babel}
\usepackage[latin1]{inputenc}
\usepackage{t1enc}
\usepackage{aeguill}
\usepackage{graphicx}
%\usepackage{pdfpages}
\begin{document}
\thispagestyle{empty}
\def\thepage{}

%\includepdf{capaCD.pdf}
%\includepdf[fitpaper=true]{capaCD.pdf}
%\includegraphics[width=12cm]{capaCD.eps}
\mbox{}
\vskip -10mm
\Bigimg{header-small}
%\includegraphics[width=9cm]{header-small}

\vfill
\cdtitle{
Satellite Events Handouts }{\mbox{}}{
ACCAT,
%AVIS,
Bytecode,
COCV,
FESCA,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
%MOMPES,
QAPL,
SC,
SLA++P,
TERMGRAPH,
WITS
}
\newpage

\section*{Satellite events handouts}

%%% comment next line to get something more readble
\small

\begin{itemize}
\item \textbf{ACCAT}, Applied and Computational Category Theory
%\item[AVIS}, Sixth International Workshop on Automated Verification of Infinite-State Systems
\item \textbf{Bytecode}, Bytecode Semantics, Verification, Analysis and Transformation
\item \textbf{COCV}, Sixth Workshop on Compiler Optimization Meets Compiler Verification
\item \textbf{FESCA}, Formal Foundations of Embedded Software and Component-Based Software Architectures
\item \textbf{GT-VMT}, Sixth International Workshop on Graph Transformation and Visual Modeling
\item \textbf{HAV}, Heap Analysis and Verification
\item \textbf{HFL}, Hardware design using Functional Languages
\item \textbf{LDTA}, Seventh Workshop on Language Descriptions, Tools and Applications
\item \textbf{MBT}, Third Workshop on Model Based Testing
%\item \textbf{MOMPES}, Model-based Methodologies for Pervasive and Embedded Software
\item \textbf{QAPL}, Fifth Workshop on Quantitative Aspects of Programming Languages
\item \textbf{SC}, Software Composition
\item \textbf{SLA++P}, Model-driven High-level Programming of Embedded Systems
\item \textbf{TERMGRAPH}, Fourth International Workshop on Computing with Terms and Graphs
\item \textbf{WITS}, Seventh Workshop on Issues in the Theory of Security
\end{itemize}



\end{document}
