1 \documentclass[runningheads]{llncs}

     2 \usepackage{isabelle}

     3 \usepackage{isabellesym}

     4 \usepackage{amsmath}

     5 \usepackage{amssymb}

     6 \usepackage{mathpartir}

     7 \usepackage{tikz}

     8 \usepackage{pgf}

     9 \usepackage{pdfsetup}

    10 \usepackage{ot1patch}

    11 \usepackage{times}

    12 \usepackage{stmaryrd}

    13 \usepackage{url}

    14 \usepackage{color}

    15 

    16 \titlerunning{BLA BLA}

    17 

    18 

    19 \urlstyle{rm}

    20 \isabellestyle{it}

    21 \renewcommand{\isastyleminor}{\it}%

    22 \renewcommand{\isastyle}{\normalsize\it}%

    23 

    24 

    25 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}

    26 \renewcommand{\isasymequiv}{$\dn$}

    27 \renewcommand{\isasymemptyset}{$\varnothing$}

    28 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}

    29 

    30 \definecolor{mygrey}{rgb}{.80,.80,.80}

    31 

    32 \begin{document}

    33 

    34 \title{RegEx}

    35 \author{Fahad Ausaf\inst{1} \and Roy Dyckhoff\inst{2} \and Christian Urban\inst{1}}

    36 \institute{King's College London, United Kingdom \and 

    37            St Andrews}

    38 \maketitle

    39 

    40 \begin{abstract}

    41 BLA BLA  Sulzmann and Lu \cite{Sulzmann2014}

    42 

    43 {\bf Keywords:} 

    44 \end{abstract}

    45 

    46 \input{session}

    47 

    48 \end{document}

    49 

    50 %%% Local Variables:

    51 %%% mode: latex

    52 %%% TeX-master: t

    53 %%% End: