Dartmouth Logic Seminar

All Terms

Spring 2014
Winter 2014
Fall 2013
Spring 2013
Winter 2013
Fall 2012
Spring 2012
Winter 2012
Fall 2011
Spring 2011
Winter 2011
Fall 2010
Spring 2010
Spring 2009
Spring 2008
Winter 2008
Fall 2007
Summer 2007
Spring 2007
Winter 2007
Fall 2006
Summer 2006
Spring 2006
Winter 2006
Fall 2005

Regional Logic Links

Connecticut Logic Seminar
Logic at Harvard
Logic at MIT
New England Recursion and Definability Seminar
New York Logic
UConn Logic Group

Association for Symbolic Logic


Find us on Google+

Contact the Webmaster

Summer 2007

Seminar this term meets Wednesdays at 3:00pm in Kemeny 120. * indicates dinner will follow the talk.

DateSpeakerTitle
Jun 27
John Bourke
Dartmouth College
 The open splitting number
Jul 4
No Seminar
Jul 11
Coffee and Logic
 Bring your coffee and come talk about what you're working on.
Jul 18
François Dorais
Dartmouth College/Cornell University
 Metric spaces and Ramsey type results
Jul 25*
Chris Hardin
Smith College
 4:15 in Kemeny 105

Infinite hat problems

(abstract)
Aug 1
Tom Kern
Dartmouth College
 Categorization of pure shuffles

(abstract)
Aug 8
Coffee and Logic
 We will meet for informal discussions -- likely to include ideas about what could be covered in 109.
Aug 15
John Bourke
Dartmouth College
 Using cohomology to detect the failure of choice
Aug 22
Brooke Andersen
Dartmouth College
 Characterizing complete sets with respect to strong reducibilities
Aug 29
Brooke Andersen
Dartmouth College
 Solutions to Post's Problem for strong reducibilities