Place: Kaplun 304.
Time: 11-13 Sunday.

• 24/5/98
  Ofer Arieli
  The logical role of the four-valued bilattice.
  
• 17/5/98
  Werner Nutt
  Deciding Equivalences among Aggregate Queries.
  
• 10/5/98
  Daniel Lehman
  Nonmonotonic Logics and Semantics.
  
• 3/5/98
  Michael Dekhtiar
  Dynamic Data bases.
  
• 26/4/98
  Boris Trakhtenbrot
  From Control to Hybride Systems. A survey of papers by Sontag and Artstein.
  
• 19/4/98
  Boris Trakhtenbrot
  From Control to Hybride Systems. A survey of papers by Sontag and Artstein.
  
• 5/4/98
  Andrei Voronkov
  Herbrand's theorem, automated deduction and semantic tableaux.
  
• 29/3/98
  Georg Gottlob
  EXISTENTIAL SECOND ORDER LOGIC OVER STRINGS.
  
• 8/3/98
  Yehuda Afek
  On power of synchronization primitives.
  
• 15/3/98
  Mooly Sagiv
  Parametric Analysis of Storage Inveriants via Three value Logic.
  
• 1/2/98
  Menachem Vinikurov
  Transition Traces and Full Abstraction for Shared-Variable Parallel Languages.
  
• 18/1/98
  Yoram Hirshfeld
  Game semantics.
  
• 11/1/98
  A. Rabinovich .
  Definability and Undefinability with real order at the background.
  
• 4/1/98
  Nachum Derchovitz
  
• 21/12/97
  Doron Peled.
  Automatic verification and Related Algorithms.
  
• 14/12/97
  Orna Kupferman.
  Branching-time model checking.
  
• 7/12/97
  A. Rabinovich .
  Definability and Undefinability with real order at the background.
  
• 29/11/97
  A. Avron .
  Safety in databases and in Set theory- the common underlying principles.
  
• 22/11/97
  A. Rabinovich.
  Symbolic Model checking for $\mu$-calculus requires EXPTIME.
  
• 17/11/97
  Boaz Trakhtebrot.
  Some Slogans concerning Hybrid Systems
  
• List of the talks in 1996