index.html
changeset 97 62f9ba119af2
parent 96 a5eadfc6cddb
child 98 01007191df40
equal deleted inserted replaced
96:a5eadfc6cddb 97:62f9ba119af2
   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>