<?php
  include("project.html");

  alice_project_header("The Alice Team");
?>

<H2>People</H2>

  <P>
    The following people are involved in the Alice project:
  </P>

  <UL>
    <LI><A href="/~rossberg/">Andreas Rossberg</A>
    <LI><A href="/~jan/">Jan Schwinghammer</A>
    <LI><A href="/~smolka/">Gert Smolka</A>
    <LI><A href="/~tack/">Guido Tack</A>
  </UL>
  <P>Previous members:</P>
  <UL>
    <LI><A href="/~bruni/">Thorsten Brunklaus</A>
    <LI><A href="/~kornstae/">Leif Kornstaedt</A>
    <LI><