 <strong> A joint project by researchers in the <a href="http://www.cs.cornell.edu/Info/Projects/HORUS/">Horus</a> and <a href="http://www.cs.cornell.edu/Info/Projects/NuPrl/">Nuprl</a> projects at <a href="http://www.cs.cornell.edu/">Cornell University</a> and the <a href="http://www.cs.huji.ac.il/labs/transis/transis.html">Transis</a> project at <a href="http://www.cs.huji.ac.il/">Hebrew University in Jerusalem</a>. </strong> </p>
