equal
deleted
inserted
replaced
175 </TR> |
175 </TR> |
176 <TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD> |
176 <TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD> |
177 <TD>Aarhus University, Denmark</TD> |
177 <TD>Aarhus University, Denmark</TD> |
178 </TR> |
178 </TR> |
179 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD> |
179 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD> |
180 <TD>IRISA, France</TD> |
180 <TD>University of Rennes, France</TD> |
181 </TR> |
181 </TR> |
182 <TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD> |
182 <TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD> |
183 <TD>Cornell University, USA</TD> |
183 <TD>Cornell University, USA</TD> |
184 </TR> |
184 </TR> |
185 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD> |
185 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD> |