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.
index.html
changeset 428 c214a2dce02c
parent 426 7142fb929d24
child 430 9dae6e101cde 
--- a/index.html	Sun Apr 10 20:46:30 2016 +0100
+++ b/index.html	Sun Apr 10 20:50:57 2016 +0100
@@ -111,7 +111,7 @@
 <A HREF="http://en.itu.dk/" TITLE="ITU, Copenhagen">here</A>,
 and full professorships 
 <A HREF="http://www.ustcsz.edu.cn/kedweb/" TITLE="IAS, Suzhou">here</A> and 
-<A HREF="http://http://www.sei.ecnu.edu.cn/En/Default" TITLE="Shanghai">here</A>. 
+<A HREF="http://www.sei.ecnu.edu.cn/En/Default" TITLE="Shanghai">here</A>. 
 I thank all people involved for their efforts.
 <P>
 
@@ -150,19 +150,19 @@
 <B>Conferences</B>
 UNIF'06 (member of PC), 
 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), 
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), 
 <A HREF="http://www.cis.upenn.edu/~sweirich/wmm/">WMM'08</A> (member of PC),
 <A HREF="http://www.mat.ufmg.br/lsfa2008/">LSFA'08</A> (invited speaker),
 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/TAASN.html">TAASN'09</A> (member of PC),
 <A HREF="http://lsfa09.cic.unb.br/">LSFA'09</A> (member of PC),
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser),
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser),
 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair),
 <A HREF="https://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/">TPHOLs'09</A> (PC co-chair),
 <A HREF="http://dream.inf.ed.ac.uk/events/automatheo-2010/">Automatheo'10</A> (member of PC),
 <A HREF="http://www.floc-conference.org/">ITP'10</A> (member of PC),
 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker),
 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker),
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser),
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser),
 CPP'11 (member of PC),
 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC),
 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC),
@@ -204,7 +204,7 @@
 Since 2006 this work is supported by an
 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>.
-There is a <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">webpage</A> and a
+There is a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">webpage</A> and a
 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> 
 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.
 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM,
@@ -353,7 +353,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Thu Apr  7 23:23:39 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Apr 10 20:47:58 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
public_html