\begin{filecontents}{ftp98parts.tex}
\participant{Armando}{Alessandro}{armando@dist.unige.it}{Universit\`a di Genova}{LORIA Nancy}%
\participant{Bancerek}{Grzegorz}{bancerek@mizar.org}{Mizar Group}{University of Bialystok}%
\participant{Bonacina}{Maria Paola}{bonacina@cs.uiowa.edu}{}{University of Iowa}%
\participant{Boy de la Tour}{Thierry}{Thierry.Boy-de-la-Tour@imag.fr}{}{LEIBNIZ-IMAG, Grenoble}%
\participant{Caferra}{Ricardo}{Ricardo.Caferra@imag.fr}{}{LEIBNIZ-IMAG, Grenoble}%
\participant{Cantone}{Domenico}{cantone@cs.unict.it}{}{Universit\`a di Catania}%
\participant{Chandru}{Vijay}{chandru@csa.iisc.ernet.in}{Indian Institute of Science}{Bangalore}%
\participant{Crocker}{David}{dcrocker@imsltd.com}{}{IMS Ltd, Surrey, U.K.}%
\participant{Dahn}{Ingo}{dahn@uni-koblenz.de}{}{Universit\"at Koblenz-Landau}%
\participant{Demri}{Stephane}{Stephane.Demri@imag.fr}{}{LEIBNIZ-CNRS, Grenoble}%
\participant{Dowek}{Gilles}{Gilles.Dowek@inria.fr}{}{INRIA-Rocquencourt}%
\participant{Ferm\"uller}{Christian G.}{ChrisF@logic.at}{}{Technische Universit\"at Wien}%
\participant{Fitting}{Melvin}{fitting@alpha.lehman.cuny.edu}{Lehman College}{City University of New York}%
\participant{Formisano}{Andrea}{formisan@dimi.uniud.it}{}{Universit\`a di Roma ``La Sapienza''}%
\participant{Goguen}{Joseph}{goguen@cs.ucsd.edu}{}{University of California at San Diego}%
\participant{Hustadt}{Ullrich}{U.Hustadt@doc.mmu.ac.uk}{}{Manchester Metropolitan University}%
\participant{Jech}{Thomas}{jech@math.psu.edu}{}{Penn State University}%
\participant{Konev}{Boris}{konev@pdmi.ras.ru}{Steklov Institute of Mathematics}{St.~Petersburg}%
\participant{Leitsch}{Alexander}{leitsch@logic.at}{}{Technische Universit\"at Wien}%
\participant{Matuszewski}{Roman}{romat@mizar.org}{Mizar Group}{University of Bialystok}%
\participant{Matzinger}{Robert}{matzi@kr.tuwien.ac.at}{}{Technische Universit\"at Wien}%
\participant{Moser}{Georg}{moser@logic.at}{}{Technische Universit\"at Wien}%
\participant{Nicolosi Asmundo}{Marianna}{nicolosi@dipmat.unict.it}{}{Universit\`a di Catania}%
\participant{Omodeo}{Eugenio}{omodeo@univaq.it}{}{University of L'Aquila}%
\participant{Orlowska}{Eva}{orlowska@itl.waw.pl}{Institute of Telecommunications}{Warsaw}%
\participant{Peltier}{Nicolas}{Nicolas.Peltier@imag.fr}{}{LEIBNIZ-IMAG, Grenoble}%
\participant{Pichler}{Reinhard}{reini@logic.at}{}{Technische Universit\"at Wien}%
\participant{Pliu\v skevi\v cien\.e}{Aida}{aida@ktl.mii.lt}{Inst.~of Mathematics and Informatics}{Vilnius}%
\participant{Salzer}{Gernot}{salzer@logic.at}{}{Technische Universit\"at Wien}%
\participant{Sofronie}{Viorica}{sofronie@mpi-sb.mpg.de}{Max-Planck-Institut f\"ur Informatik}{Saarbr\"ucken}%
\participant{de Swart}{Harrie}{H.C.M.deSwart@kub.nl}{}{Tilburg University, Netherlands}%
\participant{Wagner}{Hubert}{wagner@ls1.informatik.uni-dortmund.de}{}{Universit\"at Dortmund}%
\participant{Wirth}{Claus-Peter}{wirth@LS5.cs.uni-dortmund.de}{}{Universit\"at Dortmund}%
\participant{Zinn}{Claus}{zinn@immd8.informatik.uni-erlangen.de}{}{Universit\"at Erlangen-N\"urnberg}%
\end{filecontents}

\documentclass[11pt]{article}
\textheight24cm
\textwidth16cm
\oddsidemargin0cm
\evensidemargin\oddsidemargin
\topmargin 0cm
\headheight 0pt
\headsep 0pt
\pagestyle{empty}
\newcommand\participant[5]%
   {\if*#4*
    \begin{tabular}[t]{@{}p{7.7cm}@{}}
       #2 \textbf{#1}\\
       #5\\
       \texttt{#3}\\[3ex]
    \end{tabular}%
    \else
    \begin{tabular}[t]{@{}p{7.7cm}@{}}
       #2 \textbf{#1}\\
       #4\\
       #5\\
       \texttt{#3}\\[3ex]
    \end{tabular}%
    \fi
    \hfill
   }

\begin{document}
\begin{center}
{\LARGE{\bfseries\sffamily FTP'98} -- {\scshape List of Participants}}\\[5ex]
\end{center}
\input{ftp98parts}%
\end{document}
