INVITED LECTURES

• If-Then Statements in Games and AI, by
  Robert John Aumann, Hebrew University, Israel.
  (Monday, January 5, 1998: 11:00-12:00)
  
  
• Using Multi-Agent Systems to Represent Uncertainty, by
  Joseph Y. Halpern, Cornell University.
  (Monday, January 5, 1998: 15:15-16:15)
  
  
• Discontinuous Phase Transitions in Random Decision Problems, by
  Scott Kirkpatrick, IBM, Yorktown Heights.
  (Sunday, January 4, 1998: 15:15-16:15)
  
  
• Automatic and Practical Equational Deduction, by
  William McCune, Argonne National Laboratory.
  (Sunday, January 4, 1998: 11:00 - 12:00)