equal
deleted
inserted
replaced
171 <TD>Secunet Security Networks AG, Germany</TD> |
171 <TD>Secunet Security Networks AG, Germany</TD> |
172 </TR> |
172 </TR> |
173 <TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD> |
173 <TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD> |
174 <TD>INRIA, France</TD> |
174 <TD>INRIA, France</TD> |
175 </TR> |
175 </TR> |
|
176 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD> |
|
177 <TD>IRISA, France</TD> |
|
178 </TR> |
176 <TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD> |
179 <TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD> |
177 <TD>Aarhus University, Denmark</TD> |
180 <TD>Aarhus University, Denmark</TD> |
178 </TR> |
181 </TR> |
179 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD> |
182 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD> |
180 <TD>University of Gothenburg, Sweden</TD> |
183 <TD>University of Gothenburg, Sweden</TD> |