CS 396 / CS 195T / CS 178

A maximum of two absences is allowed.

Information on the second portion of CS 396 can be found here.

• Wednesday, Sug. 30
  • Organization
• Wednesday, Sept. 6
  • J Moore (Automatic Theorem Proving Research Group Homepage, other material to read)
  • Jim Browne
• Monday, Sept. 11
  • Gordon Novak
  • Ben Kuipers
• Wednesday, Sept. 13
  • Risto Miikkulainen
  • Allen Emerson
• Monday, Sept. 18
  • Robert van de Geijn
  • Calvin Lin
• Wednesday, Sept. 20
  • Vijaya Ramachandran
  • Anna Gal
• Monday, Sept. 25
  • Vladimir Lifschitz
  • Ray Mooney
• Wednesday, Sept. 27
  • Inderjit Dhillon
  • Alan Cline
• Monday, Oct. 2
  • Steve Keckler
  • Doug Burger
• Wednesday, Oct. 4
  • Mohamad Gouda
  • Don Batory
• Monday, Oct. 9
  • Lorenso Alvisi
  • Mike Dahlin
  • Harrick Vin
• Wednesday, Oct. 11
  • Martin Wong
  • Jay Misra
• Monday, Oct. 16
  • Nina Amenta
  • Tandy Warnow
• Wednesday, Oct. 18
  • Al Mok
  • Bruce Porter