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.
travelling.html
changeset 427 ca3a6f5c88ab
parent 423 1a1ff59f0006
child 431 a1e588fe2f38 
--- a/travelling.html	Thu Apr 07 23:24:27 2016 +0100
+++ b/travelling.html	Sun Apr 10 20:46:30 2016 +0100
@@ -46,7 +46,7 @@
 <table border="0">
 <tr>
 <td>
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 </td>
 </tr>
@@ -128,7 +128,7 @@
 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He)
 <li> Talk at ESOP'11 (26 - 30 March, Saarbr&uuml;cken)
 <li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
-<li>  One-day <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> 
+<li>  One-day <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> 
       on Nominal Isabelle at <A HREF="http://www.cse.psu.edu/popl/11/" target="_top">POPL 2011</A>
       (21 January, Austin)
 </ul>
@@ -144,7 +144,7 @@
      (host: Prof. Xingyuan Zhang, 1st - 31st August)
 <li> Talk at ITP (Edinburgh, 11 - 14 July)
 <li> Invited Talk at UNIF'10 (14 July)
-<li> Larry Paulson and Christian organise the <A href="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 and 18 June)
+<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 and 18 June)
 <li> Talk in the Automated Reasoning Group in Cambridge (8 June)
 <li> On the thesis committee of Clement Houtmann (Nancy, 12 March) 
 <li> Talk in the Automated Reasoning Group in Cambridge (16 February)
@@ -174,7 +174,7 @@
      (28 September - 3 October, Spitzingsee)
 <LI> Invited Talk at LSFA (26th August, Salvador, Brazil)
 <LI> Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada)
-<LI> <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> 
+<LI> <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> 
      at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial
      (11 August, Sydney)
 <LI> A course on Nominal Isabelle at the
public_html