Commit 5ddd1815 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more bones to the skeleton

parent fbac584a
......@@ -48,18 +48,33 @@
\newif\ifshort\shorttrue
\pagestyle{plain} % remove for final version
\author{Dennis Müller\inst{1} \and Florian Rabe\inst{1,2} \and Michael Kohlhase\inst{1}}
\institute{Computer Science, FAU Erlangen-N\"urnberg\and LRI, Universit\'e Paris Sud}
\begin{document}
%\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
\title{Alignment Finding}
%\author{Dennis Müller\inst{1} \and Florian Rabe\inst{1,2} \and Michael Kohlhase\inst{1}}
%\institute{Computer Science, FAU Erlangen-N\"urnberg\and
%LRI, Universit\'e Paris Sud}
\maketitle
\begin{abstract}\ednote{tbw}
\end{abstract}
\setcounter{tocdepth}{2}\tableofcontents\newpage
\section{Introduction}\label{sec:intro}
\section{Applications}\label{sec:appl}
\subsection{Theory Classification}\label{sec:classifier}
\section{Conclusion}\label{sec:concl}
\subsubsection*{Acknowledgements}
The authors gratefully acknowledge financial support from the OpenDreamKit Horizon 2020
European Research Infrastructures project (\#676541) and the DFG-funded projec OAF: An
Open Archive for Formalizations (KO 2428/13-1).
\renewcommand*{\bibfont}{\small}
\printbibliography
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment