equal
deleted
inserted
replaced
108 <DL> |
108 <DL> |
109 <DD><A HREF="http://tratt.net/laurie/">Laurie Tratt</A></DD> |
109 <DD><A HREF="http://tratt.net/laurie/">Laurie Tratt</A></DD> |
110 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD> |
110 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD> |
111 <DD><A HREF="http://shemesh.larc.nasa.gov/people/mrm/">Mahyar Malekpour</A></DD> |
111 <DD><A HREF="http://shemesh.larc.nasa.gov/people/mrm/">Mahyar Malekpour</A></DD> |
112 <DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD> |
112 <DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD> |
113 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</A></DD> |
113 <DD><A HREF="http://sketis.net">Markus Wenzel</A></DD> |
114 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD> |
114 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD> |
115 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD> |
115 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD> |
116 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD> |
116 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD> |
117 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD> |
117 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD> |
118 <DD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></DD> |
118 <DD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></DD> |
159 </TD> |
159 </TD> |
160 </TR> |
160 </TR> |
161 |
161 |
162 </TABLE> |
162 </TABLE> |
163 <P> |
163 <P> |
164 <!-- hhmts start --> Last modified: Sun Apr 10 20:47:09 BST 2016 <!-- hhmts end --> |
164 <!-- hhmts start --> Last modified: Thu May 5 10:22:01 BST 2016 <!-- hhmts end --> |
165 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
165 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
166 </BODY> |
166 </BODY> |
167 </HTML> |
167 </HTML> |
168 |
168 |
169 |
169 |