October:

• Thursday the 15th
  2:00 - 3:00 PM:
  

  For the Love of Code (abstract)
  Dick Craddock
  Microsoft

• Friday the 16th
  4:00 - 5:00 PM:
  

  The Congruent Number Problem (abstract)
  Bryan Faulkner
  Ferrum College

November:

• Thursday the 12th
  1:00 - 2:00 PM:
  

  Towards Verified Software: Research and Education (abstract)
  Murali Sitaraman
  School of Computing
  Clemson University

• Thursday the 19th
  3:35 - 4:45 PM:
  

  Max Dehn (abstract)
  David Peifer
  University of North Carolina, Asheville (UNCA)