This talk will be a breezy overview of some projects in the UCSD Meaning and Computation Lab. As time and audience interest permit, you will hear about:

• an application of a new form of information theory to structure and values in music;
• a theorem prover that documents what it does by generating interactive websites;
• an exceptionally powerful module system for programming languages;
• a new approach to specification based on observational abstraction;
• a radical approach to database integration using "lite formal methods";
• some applications of sociology to computing, including requirements analysis, user interface design, and computer ethics; and
• a logic of logics.