equal
deleted
inserted
replaced
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>IRISA, France</TD> |
181 </TR> |
181 </TR> |
|
182 <TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD> |
|
183 <TD>Cornell University, USA</TD> |
|
184 </TR> |
182 <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> |
183 <TD>University of Gothenburg, Sweden</TD> |
186 <TD>University of Gothenburg, Sweden</TD> |
184 </TR> |
187 </TR> |
185 <TR><TD><A HREF="http://staff.ustc.edu.cn/~xyfeng/">Xinyu Feng</A></TD> |
188 <TR><TD><A HREF="http://staff.ustc.edu.cn/~xyfeng/">Xinyu Feng</A></TD> |
186 <TD>University of Science and Technology, China</TD> |
189 <TD>University of Science and Technology, China</TD> |