equal
deleted
inserted
replaced
96 </TD> |
96 </TD> |
97 </TR> |
97 </TR> |
98 </TABLE> |
98 </TABLE> |
99 <p> |
99 <p> |
100 <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming)<BR><BR> |
100 <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming)<BR><BR> |
101 <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> will take place in Nanjing organised by Xingyuan Zhang and me<BR> |
|
102 </TD> |
101 </TD> |
103 </TR> |
102 </TR> |
104 |
103 |
105 <TR> |
104 <TR> |
106 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
105 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
167 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
166 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
168 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
167 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
169 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC), |
168 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC), |
170 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair) |
169 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair) |
171 <P> |
170 <P> |
|
171 |
|
172 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised |
|
173 by Xingyuan Zhang and me<BR> |
|
174 <p> |
172 |
175 |
173 <B>Current PhD</B> Fahad Ausaf<BR> |
176 <B>Current PhD</B> Fahad Ausaf<BR> |
174 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
177 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
175 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A> |
178 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A> |
176 </TD> |
179 </TD> |
346 </TR> |
349 </TR> |
347 |
350 |
348 |
351 |
349 </TABLE> |
352 </TABLE> |
350 <P> |
353 <P> |
351 <!-- hhmts start --> Last modified: Thu Aug 20 13:07:23 CST 2015 <!-- hhmts end --> |
354 <!-- hhmts start --> Last modified: Tue Oct 6 20:03:19 BST 2015 <!-- hhmts end --> |
352 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
355 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
353 </BODY> |
356 </BODY> |
354 </HTML> |
357 </HTML> |