STANFORD UNIVERSITY
Autumn Quarter 2012

To be added to the Logical Methods mailing list, please send a message to logical-methods-join@lists.stanford.edu


MATHEMATICAL LOGIC SEMINAR


September 27
Organizational Meeting
(time: 16:15-17:30, room: 380-381T)
Note new location of seminar


October 2
Balder ten Cate (UC Santa Cruz, Computer Science)
Guarded Negation
(time: 16:15-17:45, room: 380-381T)


October 9
Shane Steinert-Threlkeld (Stanford)
The Church-Turing Thesis: Then and Now
(time: 16:15-17:45, room: 380-381T)


October 16
Peter Hawke (Stanford)
The Turing Test: Then and Now
(time: 16:15-17:45, room: 380-381T)


October 23
Bruno Woltzenlogel Paleo (Vienna University of Technology)
Eliminating and Introducing Cuts by Resolution
(time: 16:15-17:45, room: 380-381T)


October 30
Dana Scott (Berkeley, visiting)
The Lambda-Calculus and Enumeration Operators
(time: 16:15-17:45, room: 380-381T)


November 6
Dominic Hughes (Stanford, visiting)
A Minimal Classical Sequent Calculus Free of Structural Rules
(time: 16:15-17:45, room: 380-381T)


November 13
Sam Sanders (Ghent)
Reuniting the antipodes: bringing together Nonstandard Analysis and Constructive Analysis
(time: 16:15-17:45, room: 380-381T)


o Past Seminars and Lunches
o Logic at Stanford