Structure Theorists
Edit Page
Report
Scan day: 09 February 2014 UTC
201
Virus safety - good
Description: Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
# Structures Directory -- Addresses of structure theorists, new format # Release 19.3, June 21, 2009 # Master copy: http://boole.stanford.edu/pub/structdir # Maintainer: Vaughan Pratt, pratt at cs.stanford.edu # # This is a directory of logicians, algebraists, and programming # linguists working primarily on structural problems in mathematics and # computer science. Updates to the list are by request only, I do not # actively solicit changes and new entries myself. # # It is organized as a Unix aliases file and may be appended directly to any # existing aliases file after substition of the ASCII symbol for at in place of # the second whitespace string. (Omission of that symbol should reduce # by at least epsilon the likelihood of the list's being harvested for spam. # The most recent release of this directory may be obtained at # any time by browsing to http://boole.stanford.edu/pub/structdir abadi: abadi soe.ucsc.edu (Martin Abadi) abiteboul: abitebou inria.inria.fr (Serge Abiteboul) abramsky: Samson.Abramsky comlab.ox.ac.uk (Samson Abramsky) aceto: luca cogs.sussex.ac.uk (Luca Aceto) aczel: petera cs.man.ac.uk (Peter Aczel) adamek: adamek tu-bs.de (Jiri Adamek) adams: useradms mtsg.ubc.ca (Bob Adams) adamsm: adamsm matrix.newpaltz.edu (Mick Adams) adaricheva: kira math.nsk.su (Kira Adaricheva) adelman: murray mpce.mq.edu.au (Murray Adelman) adler: ara lom1.math.yale.edu (Alan Adler) ageron: ageron univ-caen.fr (Pierre Ageron) agliano: agliano unisi.it (Paulo Agliano) agoston: agoston cs.elte.hu (Istvan Agoston) aiken: aiken cs.berkeley.edu (Alex Aiken) ait-kaci: hak [email protected] (Hassan Ait-Kaci) aitchison: iain mundoe.munnari.oz.au (Iain Aitchison) alager: alagar cs.concordia.ca (V.S. Alagar) albert: michael.albert cmu.edu (Michael Albert) altenkirch: alti cs.chalmers.se (Thorsten Altenkirch) amadio: amadio loria.fr (Roberto Amadio) ambler: sja4 mcs.le.ac.uk (Simon Ambler) ambos: ambos math.uni-heidelberg.de (Klaus Ambos-Spies) amnell: amnell klaava.helsinki.fi (Marko Amnell) andersen: nils diku.dk (Nils A
Size: 2048 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | |
| Keywords: | |
| Description: | |
| IP-address: | 171.64.78.65 |
WHOIS Info
| NS | Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758 |
| WHOIS | |
| Date | activated: 04-Oct-1985 last updated: 07-May-2009 expires: 31-Jul-2014 |