SPECIAL INVITED SESSIONS

• Boolean Functions and Data Mining (organized by Peter L. Hammer (RUTCOR, Rutgers University))
  
  
• Boolean Functions and SAT (organized by Ewald Speckenmeyer (University of Koeln, Germany))
  
  
• Category Theory (organized by David Israel (AIC/SRI, Menlo Park CA) and Robert Zimmer (Brunel University, England))
  
  
• Constraints (organized by Eugene Freuder (University of New Hampshire))
  
  
• Neural Networks (organized by Eddy Mayoraz (IDIAP, Switzerland))
  
  
• Satisfiability (organized by John Franco (University of Cincinnati))
  
  
• Spatial Reasoning (organized by Boi Faltings (EPFL, Switzerland))