CSE 294A Spring 2004
Meaning and Computation Seminar

This is the homepage of the Meaning and Computation Lab seminar series.

Spring 2004 meetings will focus on general algebra and its applications to computer science. These applications include abstract data types, programming language module systems, behavioral types and inheritance, hardware specification, database schema and schema mapping semantics, mechanical theorem proving, ontologies, user interface design, knowledge representation, metaphor theory in cognitive linguistics, and more.

Participants will be expected to present material to the group and/or write a short paper surveying some application area; there will also be some exercises using the BOBJ system, to which a detailed gradual introduction is given in the online book that we will be reading. Parts of several meetings will be enlivened by research that members of the Meaning and Computation Lab are doing, on topics that include databases, new media, computational narratology, and user interface design. Warning: These discussions can range very widely, including, for example, applications of ideas from French post-structuralism to the design of new media, applications of algebra to musicology, and almost anything else you can imagine.

Please read the Integrity of Scholarship Agreement, by Scott Baden, and UCSD's official policies on Plagiarism; see also the most recent amended policy (sorry, it's in MS Word). You are expected to abide by these rules; failure to do so can have very serious consequences.

Prerequesites: Some mathematical sophistication will be necessary for understanding this material.


Meetings
Wednesday, at 10 am, in 3325 APM
Section ID 497625
Instructor Office Hours: To be arranged, in 3131 APM.

Required and Recommended BooksThe first will be available in pieces online, and the second should be available in the Price Center bookstore, and on reserve at the Science and Engineering Library.
Other Information
To my courses homepage
Maintained by Joseph Goguen
© 2004 Joseph Goguen, all rights reserved
Last modified: Wed May 19 19:28:45 PDT 2004