Past Seminars and Lunches Logic at StanfordOctober 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