%%%  BibTeX-file{
%%%     author          = "Karl Berry",
%%%     version         = "1.31",
%%%     timestamp       = "Wed Mar  2 10:17:36 1994",
%%%     filename        = "institut.bib",
%%%     address         = "135 Center Hill Rd.
%%%                        Plymouth, MA 02360
%%%                        USA",
%%%     checksum        = "63233 69 264 2482",
%%%     email           = "karl at cs.umb.edu (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography",
%%%     supported       = "yes",
%%%     docstring       = "This file defines institution abbreviations.
%%%                        Entries are alphabetical.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by
%%%                        the equivalent of the standard UNIX wc
%%%                        (word count) utility output of lines,
%%%                        words, and characters.  This is produced by
%%%                        Robert Solovay's checksum utility.",
%%%  }

@string{inst-army-mrc = "Mathematics Research Center, U.S. Army"}
@string{inst-army-mrc:adr = "U. Wisconsin, Madison"}

@string{inst-aware = "Aware"}

@string{inst-courant-cs = "Courant Inst., Dept. Computer Science"}

% Institut de recherche en informatique et systemes aleatoires
@string{inst-irisa = "IRISA"}
@string{inst-irisa:adr = "Campus de Beaulieu, F-35042 Rennes cedex"}

@String{inst-luminy = "\allcaps{CPT}, \allcaps{CNRS} Luminy"}
@String{inst-luminy:adr = "Marseilles"}

@String{inst-mit = "Massachusetts Institute of Technology"}

@string{inst-nusc = "NUSC"}

@String{inst-planck-meteor = "Max Planck Instit{\"u}t f{\"u}r Meteorologie"}
@String{inst-planck-meteor:adr = "Hamburg, Germany"}

@String{inst-prometheus = "Prometheus Inc."}

@string{inst-rand = "Rand Corp."}

@String{inst-rit = "Rochester Institute of Technology"}

@string{inst-tamu = "Texas A\&M University"}

@string{inst-tufts-cs = "Tufts University, Department of Computer Science"}

@String{inst-umass-amherst = "University of Massachusetts, Amherst"}

@string{inst-urw = "URW"}
@String{inst-urw:adr = "Harksheider Str. 107, D-2000 Hamburg 65"}

@String{inst-u-bremen = "U. Bremen"}

@String{inst-u-cambridge = "U. Cambridge"}
@String{inst-u-cambridge:adr = "Corn Exchange St., Cambridge CB2 3QG, U.K."}

@String{inst-u-kyoto = "U. Kyoto"}
@String{inst-u-kyoto:adr = "Kyoto, Japan"}

@string{inst-u-wash = "U. Washington"}