equal
deleted
inserted
replaced
42 <B>Links</B><BR> |
42 <B>Links</B><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |
47 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A> |
47 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</A> |
48 <BR> |
48 <BR> |
49 <BR> |
49 <BR> |
50 |
50 |
51 <B>Handy Information</B><BR> |
51 <B>Handy Information</B><BR> |
52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> |
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://isabelle.in.tum.de/nominal/"> |
60 <A HREF="http://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://isabelle.in.tum.de/nominal/activities/cas09/">course</A> |
260 <li>a <A HREF="http://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> |