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

o Past Seminars and Lunches
o Logic at Stanford