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.
logic.html
changeset 24 1afb9462ea70
parent 9 6cc6d2d2de3c
child 39 160040af338e 
--- a/logic.html	Fri Oct 28 10:16:45 2011 +0100
+++ b/logic.html	Fri Oct 28 14:43:57 2011 +0100
@@ -2,7 +2,7 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 <HEAD>
 <TITLE>Homepage of Christian Urban</TITLE>
-<BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
+<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
 </HEAD>
 
 <BODY TEXT="#000000" 
@@ -26,18 +26,18 @@
     VALIGN="TOP">
 
 <B>Links</B><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
 <A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
 <BR>
 <BR>
 
 <B>Handy Information</B><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> 
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR> 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 <BR><BR>
 
 
@@ -67,7 +67,7 @@
 <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://www.dcs.qmw.ac.uk/~edmundr">Edmund Robinson</A></DD>
+<DD><A HREF="http://www.inf.qmw.ac.uk/~edmundr">Edmund Robinson</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD>
 <DD><A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A></DD>
 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD>
@@ -75,7 +75,7 @@
 <DD><A HREF="http://www-roc.inria.fr/who/Gilles.Dowek/">Gilles Dowek</A></DD>
 <DD><A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A></DD>
 <DD><A HREF="http://www-users.cs.umn.edu/~gopalan/">Gopalan Nadathur</A></DD>
-<DD><A HREF="http://www.dcs.ed.ac.uk/home/gdp/">Gordon Plotkin</A></DD>
+<DD><A HREF="http://www.inf.ed.ac.uk/home/gdp/">Gordon Plotkin</A></DD>
 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD>
 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD>
 <DD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></DD>
@@ -97,7 +97,7 @@
 <DL>
 <DD><A HREF="http://tratt.net/laurie/">Laurie Tratt</A></DD>
 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD>
-<DD><A HREF="http://www.dcs.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD>
+<DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD>
 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">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>
@@ -116,7 +116,7 @@
 <DD><A HREF="http://www.jaist.ac.jp/~vester/">Ren&eacute; Vestergaard</A></DD>
 <DD><A HREF="http://www.cs.cornell.edu/home/rc/">Robert Constable</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~rwh/">Robert Harper</A></DD>
-<DD><A HREF="http://www.dcs.st-and.ac.uk/~rd/">Roy Dyckhoff</A></DD>
+<DD><A HREF="http://www.inf.st-and.ac.uk/~rd/">Roy Dyckhoff</A></DD>
 <DD><A HREF="http://web.comlab.ox.ac.uk/oucl/people/samson.abramsky.html">Samson Abramsky</A></DD>
 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen H&ouml;lldobler</A></DD>
 <DD><A HREF="http://www.steffen-zschaler.de/">Steffen Zschaler</A></DD>
public_html