Category Theory in AI

A special invited session on Category Theory in AI, consisting solely of invited talks, has been organized by David Israel (AIC/SRI, Menlo Park CA) and Robert Zimmer (Brunel University, England). 

• Logical Interoperability, by Jose Meseguer, SRI International, Menlo Park, CA. (MO 13:30
  
  
• Phenomenon Oriented Grammar: Category Theory meets Formal Linguistics, by M. Andrew Moshier, Chapman University, Orange, CA. (MO 14:00)
  
  
• Categories and Problem Solving, by Robert Zimmer, Brunel University, London, England. (MO 14:30)
  
  
• Applications of Linear Logic to AI and Natural Language Processing, by Christophe Fouquere, University of Paris, 13, Paris, France. (MO 16:30)
  
  
• Type Grammar Revisited, by J. Lambeck, McGill University, Montreal, Canada. (MO 17:00)