equal
deleted
inserted
replaced
125 <DD><A HREF="http://www.pps.jussieu.fr/~curien/">Pierre-Louis Curien</A></DD> |
125 <DD><A HREF="http://www.pps.jussieu.fr/~curien/">Pierre-Louis Curien</A></DD> |
126 <DD><A HREF="http://homepages.inf.ed.ac.uk/rap/">Randy Pollack</A></DD> |
126 <DD><A HREF="http://homepages.inf.ed.ac.uk/rap/">Randy Pollack</A></DD> |
127 <DD><A HREF="http://www.jaist.ac.jp/~vester/">René Vestergaard</A></DD> |
127 <DD><A HREF="http://www.jaist.ac.jp/~vester/">René Vestergaard</A></DD> |
128 <DD><A HREF="http://www.cs.cornell.edu/home/rc/">Robert Constable</A></DD> |
128 <DD><A HREF="http://www.cs.cornell.edu/home/rc/">Robert Constable</A></DD> |
129 <DD><A HREF="http://www.cs.cmu.edu/~rwh/">Robert Harper</A></DD> |
129 <DD><A HREF="http://www.cs.cmu.edu/~rwh/">Robert Harper</A></DD> |
130 <DD><A HREF="http://www.inf.st-and.ac.uk/~rd/">Roy Dyckhoff</A></DD> |
130 <DD><A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Roy Dyckhoff</A></DD> |
131 <DD><A HREF="http://web.comlab.ox.ac.uk/oucl/people/samson.abramsky.html">Samson Abramsky</A></DD> |
131 <DD><A HREF="http://web.comlab.ox.ac.uk/oucl/people/samson.abramsky.html">Samson Abramsky</A></DD> |
132 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen Hölldobler</A></DD> |
132 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen Hölldobler</A></DD> |
133 <DD><A HREF="http://www.steffen-zschaler.de/">Steffen Zschaler</A></DD> |
133 <DD><A HREF="http://www.steffen-zschaler.de/">Steffen Zschaler</A></DD> |
134 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD> |
134 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD> |
135 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD> |
135 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD> |