latex.template

\documentclass{llncs}


%\usepackage{url}

\usepackage
    [url=false,
     isbn=false,
     doi=false]
    {biblatex}
\bibliography{bibfile}

\usepackage{multirow}
\usepackage{listings}
\usepackage{amsmath}  % for equation*
\usepackage{array}    % for tabular
\usepackage{verbatim} % for comment
\usepackage{wrapfig}
\usepackage[final]{microtype}
\usepackage[pdfborder={0 0 0}]{hyperref}
\usepackage{tabularx}
\usepackage{inconsolata}
\usepackage{listings}
\providecommand{\tightlist}{%
  \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
$if(highlighting-macros)$
$highlighting-macros$
$endif$

% Reduce size of verbatim text
\makeatletter
\let\oldverbatim@font\verbatim@font
\def\verbatim@font{\oldverbatim@font\small}
\makeatother



\begin{document}

\title{TIP: Tools for Inductive Provers}

\author{Dan Ros\'{e}n \and Nicholas Smallbone}
\institute{Department of Computer Science and Engineering, Chalmers University of Technology
	\email{\{danr,nicsma\}@chalmers.se}
	}

%\authorrunning{Ros\'{e}n, Smallbone}
%\titlerunning{$title$}

\maketitle

\begin{abstract}
$abstract$
\end{abstract}

$body$

\end{document}