The Institute for the Advanced Study of Automated Reasoning, Cognition, Science, Music, and Lots of Other Stuff

Ernest Davis, Founder and Executive Director

Mission

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 multidisciplinary; we're extradisciplinary,   superdisciplinary,   hyperdisciplinary,   postdisciplinary, transdisciplinary,   pandisciplinary, polydisciplinary, pluridisciplinary, cross-disciplinary, and even metadisciplinary --- indeed well-nigh omnidisciplinary.

People

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?

Research Projects

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 here.

Location

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 their own opinions, however wrong-headed or counter-productive.

Library

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.

Museum

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.

Conference

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.

The opinions expressed herein do not reflect the views or opinions of anyone at all.