1 \documentclass[12pt, pagenumber=false, parskip=half,% 

     2                fromalign=right, fromphone=false,%  

     3                fromemail=false, fromurl=false,%

     4                fromlogo=false, fromrule=false,%

     5                backaddress=false, %

     6                foldmarks=false]{scrlttr2}

     7 %%%%%%%%%%%%%%%%%%%%

     8 % fromalign = right (right, center) -  Absenderfeld  formatiert.

     9 % fromrule = afteraddress, false, aftername -  ein Linie wird nach  der Adresse gesetzt.

    10 % backaddress = true (false) - Setzen einer Rücksendeadresse für Fensterumschläge

    11 % fromphone   = true         - Setzen der Telefonnummer des Absenders

    12 % fromemail   = true         - Setzen der eMail-Adresse des Absenders

    13 % fromurl     = true         - Setzen einer Homepageadresse des Absenders

    14 % fromlogo    = true         - Absenderlogo (Firmenlogo) wird in den Brief eingefügt

    15 %%%%%%%%%%%%%%%%%%%%

    16 

    17 \usepackage{eurosym}

    18 \usepackage{textcomp}

    19 \usepackage{ulem}

    20 \usepackage{times}

    21 \usepackage[english]{babel}

    22 \usepackage[utf8]{inputenc}

    23 

    24 

    25 \renewcommand*{\raggedsignature}{\raggedright}

    26 \setkomavar{fromname}{Dr~Christian Urban}

    27 \setkomavar{fromaddress}{Department of Informatics\\

    28   King's College London\\

    29   Strand, London WC2R 2LS\\

    30   United Kingdom}

    31 \setkomavar{signature}{Dr Christian Urban\\ co-chair of the ITP 2015 conference}

    32 

    33 

    34 \makeatletter

    35 \@addtoplength{firstheadvpos}{20mm}

    36 \makeatother

    37 

    38 \begin{document}

    39 \def\adrentry#1#2#3

    40 {\begin{letter}{\mbox{}}

    41 \opening{\bigskip\textbf{Certificate for the Registration Fee for the ITP 2015 Conference in Nanjing}}

    42 

    43 \bigskip

    44 This is to certify that 

    45 

    46 \begin{center}

    47 \textbf{#1}

    48 \end{center}

    49 

    50 \noindent paid

    51 

    52 \begin{flushright}

    53 \begin{tabular}{l@{\hspace{5mm}}r}

    54 Total: & \uuline{#2}\\

    55 \end{tabular}

    56 \end{flushright}

    57 

    58 \noindent 

    59 \if #30{for the International Conference on Interactive Theorem Proving, which took place

    60 from 24th until 27th of August in Nanjing, China.} \fi

    61 \if #31{for the International Conference on Interactive Theorem Proving and the Isabelle Tutorial, 

    62 which both took place from 21st until 27th of August in Nanjing, China.} \fi 

    63 \if #32{for the International Conference on Interactive Theorem Proving and the Coq Tutorial, 

    64 which both took place from 24th until 29th of August in Nanjing, China.} \fi 

    65 \if #33{for the International Conference on Interactive Theorem Proving, as well as the 

    66 Isabelle and Coq Tutorials, which all took place from 21th until 29th of August in Nanjing, China.} \fi 

    67 

    68 \bigskip\bigskip\bigskip

    69 

    70 \closing{\noindent{}Yours sincerely,\bigskip\mbox{}}

    71 \end{letter}

    72 

    73 }

    74 \input{participants.db}

    75 \end{document}