STANFORD UNIVERSITY
Department of Mathematics
Autumn quarter 2001

MATHEMATICAL LOGIC SEMINAR

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


LOGIC LUNCH

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


MATHEMATICS COLLOQUIUM

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