# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1319280263 -3600
# Node ID 6cc6d2d2de3cd7ba53a7d8ac78bdb1ce10f841f1
# Parent  d90b63445b6216a8bf15ec2ef51d30ef3e755591
tuned

diff -r d90b63445b62 -r 6cc6d2d2de3c logic.html
--- a/logic.html	Sat Oct 22 11:26:19 2011 +0100
+++ b/logic.html	Sat Oct 22 11:44:23 2011 +0100
@@ -66,14 +66,13 @@
 <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.bath.ac.uk/~cssdjp/">David Pym</A></DD>
-<DD><A HREF="http://www.loria.fr/~galmiche/">Didier Galmiche</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.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.lix.polytechnique.fr/~dowek/">Gilles Dowek</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>
@@ -85,19 +84,23 @@
 <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>
 <DD><A HREF="http://iml.univ-mrs.fr:80/~girard/">Jean-Yves Girard</A></DD>
+<DD><A HREF="http://user.it.uu.se/~joachim/">Joachim Parrow</A></DD>
 <DD><A HREF="http://www.cl.cam.ac.uk/users/jrh/">John Harrison</A></DD>
 <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>
 </DL>
 </TD>
 
 <TD>
 <DL>
-<DD><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</A></DD>
+<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://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://www4.in.tum.de/~wenzelm/">Markus Wenzel</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://users.rsise.anu.edu.au/~michaeln/">Michael Norrish</A></DD>
@@ -116,7 +119,7 @@
 <DD><A HREF="http://www.dcs.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://math.Stanford.EDU/~feferman/">Solomon Feferman</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>
 <DD><A HREF="http://www.cs.chalmers.se/~coquand/">Thierry Coquand</A></DD>
@@ -139,8 +142,6 @@
              Researchers in Rewriting</A> </DD>
 <DD><A HREF="http://www.lsv.ens-cachan.fr/rtaloop/">
              List of open problems in term rewriting</A> </DD>
-<DD><A HREF="http://www.uni-bonn.de/logic/world.html">
-             Mathematical logic</A> </DD>
 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> 
 </DL>
 
@@ -151,7 +152,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Mon Mar 29 08:15:12 CEST 2010
+Last modified: Sat Oct 22 11:44:13 BST 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>