Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <urbanc@in.tum.de>
Sun, 04 Jun 2017 01:20:04 +0100
changeset 469 95ea2ffaa094
parent 468 c6308b24fa20
child 470 12f493dd6089
updated
index.html file | annotate | diff | comparison | revisions
logic.html file | annotate | diff | comparison | revisions
programming.html file | annotate | diff | comparison | revisions 
--- a/index.html	Wed Mar 01 13:57:18 2017 +0000
+++ b/index.html	Sun Jun 04 01:20:04 2017 +0100
@@ -161,7 +161,7 @@
 <A HREF="http://nms.kcl.ac.uk/christian.urban/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),
+UNIF'10 (invited speaker),
 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker),
 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser),
 CPP'11 (member of PC),
@@ -336,9 +336,9 @@
 <B>Forum</B> 
 I implemented Forum, a programming language based on classical linear logic, 
 as my M.Phil. thesis. This was joint work with 
-<A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Dr Roy Dyckhoff</A>. 
+<A HREF="https://rd.host.cs.st-andrews.ac.uk">Dr Roy Dyckhoff</A>. 
 Details can be found  
-<A HREF="http://www.cs.st-andrews.ac.uk/~rd/logic/nonmac/">here</A> and
+<A HREF="https://rd.host.cs.st-andrews.ac.uk/logic/nonmac/">here</A> and
 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my
 M.Phil study I spent one month in Philadelphia invited by 
 <A HREF="http://www.lix.polytechnique.fr/~dale/">Prof. Dale Miller</A>.
--- a/logic.html	Wed Mar 01 13:57:18 2017 +0000
+++ b/logic.html	Sun Jun 04 01:20:04 2017 +0100
@@ -77,7 +77,7 @@
 <DD><A HREF="http://www.pps.univ-paris-diderot.fr/~faggian/">Claudia Faggian</A></DD>
 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD>
 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD>
-<DD><A HREF="http://www.abdn.ac.uk/~csc335/">David Pym</A></DD>
+<DD><A HREF="http://www0.cs.ucl.ac.uk/staff/D.Pym/">David Pym</A></DD>
 <DD><A HREF="http://www.eecs.qmul.ac.uk/~edmundr/">Edmund Robinson</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD>
 <DD><A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Gavin Bierman</A></DD>
@@ -113,9 +113,9 @@
 <DD><A HREF="http://sketis.net">Markus Wenzel</A></DD>
 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD>
 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD>
-<DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD>
+<DD><A HREF="http://dmg.tuwien.ac.at/baaz/">Matthias Baaz</A></DD>
 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD>
-<DD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></DD>
+<DD><A HREF="https://researchers.anu.edu.au/researchers/norrish-m">Michael Norrish</A></DD>
 <DD><A HREF="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</A></DD>
 <DD><A HREF="http://www.diku.dk/users/neil/">Neil Jones</A></DD>
 <DD><A HREF="http://research.microsoft.com/~nick/">Nick Benton</A></DD>
@@ -150,7 +150,7 @@
              Survey on linear logic programming languages by Dale Miller</A></DD>
 <DD><A HREF="http://cl-informatik.uibk.ac.at/~ami/research/rr/">
              Researchers in Rewriting</A> </DD>
-<DD><A HREF="http://www.lsv.ens-cachan.fr/rtaloop/">
+<DD><A HREF="http://www.win.tue.nl/rtaloop/">
              List of open problems in term rewriting</A> </DD>
 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> 
 </DL>
--- a/programming.html	Wed Mar 01 13:57:18 2017 +0000
+++ b/programming.html	Sun Jun 04 01:20:04 2017 +0100
@@ -63,7 +63,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <h3> Programming Languages </h3>
-<dl> <dd> <a href="http://caml.inria.fr/">
+<dl> <dd> <a href="http://ocaml.org">
           OCaml</a>
      <dd> <a href="http://www.scala-lang.org/">
           Scala</a>
@@ -75,7 +75,7 @@
           SML/NJ </a> 
      <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html">
           Description of SML</a> 
-     <dd> <a href="http://www.inf.napier.ac.uk/course-notes/sml/manual.html">
+     <dd> <a href="http://www.soc.napier.ac.uk/course-notes/sml/manual.html">
           A gentle introduction to ML</a> 
      <dd> <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/sml.html">
           Information about SML</a>
public_html