Place: Shriber 209.
Time: 10-12 Tuesdays.

• 17 /11/98
  Alexander Rabinovich
  Metrical Temporal Logics.
  
• 24/11/98
  Janos Makowsky
  Enumeration Problems Definable in Monadic Second Order Logic.
  
• 1/12/98
  Dani Livne
  Informational independent logic - an overview of the current state of affairs.
  
• 15/12/98
  Arnon Avron
  Non-well founded Hypersets and web-like databases.
  
• 22/12/98
  Boaz Trakhtenbrot
  Dynamic systems and their interaction: definitional suggestions.
  
• 29/12/98
  Yoram Hirshfield
  Non-well founded Hypersets and web-like databases.
  
• 12/1/99
  Dina Q. Goldin
  Fundamentals of Interaction.
  
• 19/12/99
  Yoram Hirshfield
  Non-well founded Hypersets and web-like databases.
  
• 26/1/99
  Boaz Trakhtenbrot
  Dynamic systems and their interaction: definitional suggestions.
  
• 9/2/99
  Alexander Rabinovich.
  Composition theorem for generalized sum.
  
• 15/2/99
  Tova Milo
  Models for web databases.
  
• 23/2/99
  Yoram Hirshfield
  A framework for decidable metrical logics.
  
• 30/2/99
  Beata Konikowska.
  Rasiowa-Sikorski systems: a handy tool for computer science logic.
  
• 07/3/99
  Petr Jancar.
  Decidability and Undecidability for bisimulation among infinite state systems.
  
• List of the talks in 1997