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 194 a4418038199a
parent 127 59a944498542
child 201 caafd19e790d 
--- a/logic.html	Tue Apr 23 00:56:26 2013 +0100
+++ b/logic.html	Sat May 18 07:22:44 2013 +0100
@@ -74,11 +74,11 @@
 <DD><A HREF="http://www.site.uottawa.ca/~afelty/">Amy Felty</A></DD>
 <DD><A HREF="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</A></DD>
 <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.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://www.inf.qmw.ac.uk/~edmundr">Edmund Robinson</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="http://research.microsoft.com/~gmb/">Gavin Bierman</A></DD>
 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD>
@@ -90,7 +90,7 @@
 <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://www.qatar.cmu.edu/iliano/">Iliano Cervesato</A>
 <DD><A HREF="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</A>
 <DD><A HREF="http://www.cis.upenn.edu/~jean">Jean Gallier</A>, 
     <A HREF="ftp://ftp.cis.upenn.edu/pub/papers/gallier/">papers</A></DD>
@@ -100,7 +100,7 @@
 <DD><A HREF="http://theory.stanford.edu/people/jcm/home.html">John Mitchell</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~crary/">Karl Crary</A></DD>
 <DD><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</A></DD>
-<DD><A HREF="http://www.itu.dk/~birkedal/">Lars Birkedal</A></DD>
+<DD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></DD>
 </DL>
 </TD>
public_html