Department of Mathematics

Autumn quarter 2001

October 2 *Organizational meeting*

October 9 **Sol Feferman** *Discourse representation structures (sec. 4 of van Eijck/Kamp)*

October 23 **Krista Lawlor** *The static and dynamic meaning of representation structures*

October 30 **David Beaver** *Sequential composition of representation structures
(Sec. 6 of Eijck-Kamp)*

November 6 **Darko Sarenac** *Strategies for merging representation structures (Sec. 7 of Eijck-Kamp)*

November 13 **Randall Harp** *Constructing DRSs for natural language fragments (Sec. 7 of Eijck-Kamp)*

November 20 **Grigori Mints** *The proper treatment of quantification in DRT (Sec. 10 of Eijck-Kamp)*

November 27 **Aarati Parmar** *Representing tense and aspect in texts (Sec. 11 of Eijck/Kamp)*

Seminars this quarter are on Tuesdays at 4:15PM

in room 380W (Math building).

October 12 **Branden Fitelson** *
Some New Results in Logic and Mathematics Obtained Via Automated Reasoning*

Oct 26 **Sol Feferman***
Operation theories of sets*

Nov 9 **Grigori Mints***
Incomplete proofs and infinite derivations*

Nov 30 **Rick Sommer** *
Proofs in Infinitesimal Analysis: Theory and Practice*

Logic lunch takes place on Fridays at 12:00 PM in room 383-N,

Mathematics Department (building 380).

Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).

**Past Seminars and Lunches****Logic at Stanford**