Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/activities.html
changeset 465 4dac76eb27d9
parent 419 793f6d12cf2d 
--- a/Nominal/activities.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Nominal/activities.html	Sat Jan 28 07:17:00 2017 +0000
@@ -38,7 +38,7 @@
   <li> Cezary gives a talk at ACM SAC 2011 (21 - 24 March, Taipei)
   <li> Christian gives a talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
   <li> Palle Raabjerg from Uppsala University visits the Nominal Group (2 February - 2 March)
-  <li> There will be a one-day <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> about Nominal Isabelle at POPL 2011
+  <li> There will be a one-day <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-popl11/">tutorial</A> about Nominal Isabelle at POPL 2011
 </ul>
 
 <h3>2010</h3>
@@ -51,7 +51,7 @@
        (host: Prof. Xingyuan Zhang, 1st - 31st August)
   <li> Christian gives an invited talk at UNIF'10 (Edinburgh, 14 July)
   <li> Talk at ITP (Edinburgh, 11 - 14 July)
-  <li> Larry Paulson and Christian organise the <A href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 - 18 June)
+  <li> Larry Paulson and Christian organise the <A href="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 - 18 June)
   <li> Christian gives a talk in the Automated Reasoning Group in Cambridge (8 June)
   <li> Cezary will leave us to take up a research fellowship in Japan. Congratulations! (31 May)
   <li> Christian gives a talk in the Isabelle group (28 May)
@@ -68,7 +68,7 @@
   <li> Yongjian Li from the Chinese Academy of Sciences in Beijing visits the Nominal Group (13 - 25 August)
   <li> Randy Pollack from the University of Edinburgh visits the Nominal Group (17 - 21 August)
   <li> Christian is PC co-chair of TPHOLs (17 - 20 August)
-  <li> Christian organises the <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html">
+  <li> Christian organises the <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html">
   Isabelle Developers Workshop</A> co-located with TPHOLs (13 - 15 August)
   <li> Cezary Kaliszyk joins the Nominal Group 
   <li> Christian visist Prof. T.H. Tse at Hong Kong University (24 - 30 June)
public_html