equal
deleted
inserted
replaced
22 <!-- left column --> |
22 <!-- left column --> |
23 <TR> |
23 <TR> |
24 <TD BGCOLOR="#FFFFFF" |
24 <TD BGCOLOR="#FFFFFF" |
25 WIDTH="24%" |
25 WIDTH="24%" |
26 VALIGN="TOP" |
26 VALIGN="TOP" |
27 ROWSPAN="12"> |
27 ROWSPAN="13"> |
28 |
28 |
29 <B>Links</B><BR> |
29 <B>Links</B><BR> |
30 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
30 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
31 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
31 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
32 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
32 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
63 (2004, ENS Cachan, France; now in the PPS group in Paris) |
63 (2004, ENS Cachan, France; now in the PPS group in Paris) |
64 Induction Principles for Alpha-Equated Lambda-Terms |
64 Induction Principles for Alpha-Equated Lambda-Terms |
65 (the paper coming out of this work was presented at CADE)</li> |
65 (the paper coming out of this work was presented at CADE)</li> |
66 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
66 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
67 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li> |
67 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li> |
68 </ul> |
68 <li>Parminder Sandhu (2011-2012, King's) Parsing using Derivatives</li> |
69 |
69 </ul> |
70 <!-- |
70 |
71 <p> Dissertations where I helped with supervising: |
71 </TD> |
72 <ul> |
72 </TR> |
73 <li> </li> |
73 |
74 </ul> |
74 <TR> |
75 --> |
75 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
76 </TD> |
76 <H3>2011-2012</H3> |
77 </TR> |
77 |
78 |
78 <p><B>Autumn</B> |
79 <TR> |
79 <ul> |
80 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
80 <li>Course on Access Control and Privacy Policies (at King's; original course by Steve Barker) |
81 |
81 </ul> |
|
82 </TD> |
|
83 </TR> |
|
84 |
|
85 |
|
86 <TR> |
|
87 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
82 <H3>2010-2011</H3> |
88 <H3>2010-2011</H3> |
83 |
89 |
84 <p><B>Spring</B> |
90 <p><B>Spring</B> |
85 <ul> |
91 <ul> |
86 <li>one-day tutorial on Nominal Isabelle at POPL'11 with Cezary Kaliszyk |
92 <li>one-day tutorial on Nominal Isabelle at POPL'11 with Cezary Kaliszyk |
347 </TR> |
353 </TR> |
348 |
354 |
349 </TABLE> |
355 </TABLE> |
350 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
356 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
351 <!-- hhmts start --> |
357 <!-- hhmts start --> |
352 Last modified: Tue Sep 20 15:55:36 CEST 2011 |
358 Last modified: Sat Oct 22 12:08:37 BST 2011 |
353 <!-- hhmts end --> |
359 <!-- hhmts end --> |
354 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
360 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
355 </BODY> |
361 </BODY> |
356 </HTML> |
362 </HTML> |