The Institute for the Advanced Study of Automated Reasoning, Cognition,
Science, Music, and Lots of Other Stuff
Founder and Executive Director
Here at the Institute for the Advanced Study of Automated Reasoning, Cognition,
Science, Music, and Lots of Other Stuff, we think really deep thoughts about
automated reasoning, cognition, science, music, and lots of other stuff.
We're not just interdisciplinary and
metadisciplinary --- indeed well-nigh
Faculty: Ernest Davis, Director
Staff: Ernest Davis, Administrative Assistant to the Director
Visitors: Nobody, really, recently. Students sometimes drop by with
questions about their assignments --- does that count?
Fellows The Institute is happy to consider applications to
become a Fellow. Applicants should have at least high-school equivalency, and
have given some thought to automated reasoning, cognition, science, music,
or something else. To expedite the consideration of your application, it is
advisable to submit it in hard copy and to enclose a check for $300 to cover
processing costs. The list of fellows, current and emeritus, is
The Institute is currently housed in a disgracefully small office. However the
Provost and the President have both assured me that they will give serious
consideration to our request that we need a floor of the Zipper building, when
it is complete. It should be noted that the Institute has not, qua
institute, voted on any
resolutions, votes of no confidence, or other such expressions of
discontent or concern. The
Institute reluctantly concedes that individual associates have the right to
opinions, however wrong-headed or counter-productive.
The Institute Library comprises approximately 100,000 volumes, on topics ranging
across automated reasoning, cognition, science, music, and lots of other
stuff, plus a bunch of LP's.
Borrowing privileges: Friends of the Institute may borrow any of the
books in the library, except the 3 or 4 that the Director actually uses and
1 or 2 others that he might eventually get around to reading, on condition that
they do not return them.
Associated with the library is a museum, with a collection of toys chewed by
dogs who died ten years ago, remotes for devices that were thrown away 20 years
ago, and unidentifiable electronic devices. A catalogue for this historically
valuable collection is under development.
The Institute is the proud sponsor of the annual International Conference
on Studies in Automated Reasoning, Cognition, Science, Music and Lots of
Other Stuff. This year's conference will be held at the University of
Montana, Missoula, MT, at the 7-11 near campus, on December 15, 3:00-4:15
AM. Preregistration is advisable.
Website The Institute will have a much sexier website, with much
better jokes, once the Director figures out how to use anything more
complicated than vanilla HTML, and finds someone with a good sense of humor
to write the jokes.
M.C. Escher inspires deep thoughts.
Note that the artist has paradoxically placed the
staircase in the vertical plane. Mindblowing.