equal
deleted
inserted
replaced
55 <BR><BR> |
55 <BR><BR> |
56 |
56 |
57 <table border="0"> |
57 <table border="0"> |
58 <tr> |
58 <tr> |
59 <td> |
59 <td> |
60 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/"> |
60 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/"> |
61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
62 </td> |
62 </td> |
63 </tr> |
63 </tr> |
64 <tr> |
64 <tr> |
65 <td> |
65 <td> |
255 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
255 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
256 <H3>2008-2009</H3> |
256 <H3>2008-2009</H3> |
257 |
257 |
258 <p><B>Summer</B> |
258 <p><B>Summer</B> |
259 <ul> |
259 <ul> |
260 <li>a <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/cas09/">course</A> |
260 <li>a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/cas09/">course</A> |
261 on Isabelle at the Chinese Academy of Science (7.5 h) |
261 on Isabelle at the Chinese Academy of Science (7.5 h) |
262 <li>Pearls in Computer Science, a course for gifted undergraduate students in Munich (5h) |
262 <li>Pearls in Computer Science, a course for gifted undergraduate students in Munich (5h) |
263 </ul> |
263 </ul> |
264 |
264 |
265 <p><B>Autumn</B> |
265 <p><B>Autumn</B> |
471 </TD> |
471 </TD> |
472 </TR> |
472 </TR> |
473 |
473 |
474 </TABLE> |
474 </TABLE> |
475 <P> |
475 <P> |
476 <!-- hhmts start --> Last modified: Thu Apr 7 23:12:15 BST 2016 <!-- hhmts end --> |
476 <!-- hhmts start --> Last modified: Sun Apr 10 20:49:47 BST 2016 <!-- hhmts end --> |
477 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
477 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
478 </BODY> |
478 </BODY> |
479 </HTML> |
479 </HTML> |