public_html: comparison logic.html

equal deleted inserted replaced

-:3c1a98a18f92
+:1afb9462ea70
 <?xml version="1.0" encoding="utf-8"?>
 <!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"
 BGCOLOR="#4169E1"
 LINK="#0000EF"
 <TD BGCOLOR="#FFFFFF"
 WIDTH="24%"
 VALIGN="TOP">
 <B>Links</B><BR>
-<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR>
+<A HREF="http://www.inf.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.inf.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.inf.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/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.inf.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.inf.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/misc.html">Miscellaneous</A>
 <BR><BR>
 <A HREF="http://isabelle.in.tum.de/nominal/">
 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
 <DD><A HREF="http://www.lix.polytechnique.fr/~catuscia/">Catuscia Palamidessi</A></DD>
 <DD><A HREF="http://www.math.unipd.it/~claudia/">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://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>
 <DD><A HREF="http://profs.sci.univr.it/~bellin/">Gianluigi Bellin</A></DD>
 <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>
 <DD><A HREF="http://theory.stanford.edu/~iliano">Iliano Cervesato</A>
 <DD><A HREF="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</A>
 <TD>
 <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>
 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD>
 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD>
 <DD><A HREF="http://www.pps.jussieu.fr/~curien/">Pierre-Louis Curien</A></DD>
 <DD><A HREF="http://homepages.inf.ed.ac.uk/rap/">Randy Pollack</A></DD>
 <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>
 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD>
 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD>

changeset 24	1afb9462ea70
parent 9	6cc6d2d2de3c
child 39	160040af338e