Place: Shriber 209.
Time: 9-11 Tusedays.

• 15/10/96
  Boaz Trakhtebrot.
  Completeness: Based on Barzdin's papers and Lafont's paper
  
• 22/10/96
  A. Rabinovich.
  Duration Calculus.
  
• 29/10/96
  A. Rabinovich.
  Expressiveness: Survey of De Simone, Vaandrager and Glabbeek works on expressiveness for SOS.
  
• 19/11/96
  Yoram Moses.
  A gentle Introduction to Knowledge Logic.
  
• 26 /11/96
  Yoram Moses, continuation.
  
• 3/12/96
  Yoram Hirshfeld.
  Expressiveness in a simple process Algebra.
  
• 10 /12/96
  Alex Rabinovich.
  Expressive Completeness of Duration Calculus
  
• 17 /12/96
  Yoram Moses, continuation.
  
• 23/12/96
  Boaz Trakhtebrot.
  Computational models for Hybrid Systems.
  
• 30 /12/96
  Yoram Moses, continuation.
  
• 14/1/97
  Nachun Dershowitz.
  An introduction to rewriting.
  
• 26/1/97
  Boaz Trakhtenbrot.
  Autoreducability.
  
• 25/2/97
  Arnon Avron .
  The Challenge of Transitive Closure.
  
• 3/3/97
  Arnon Avron .
  The Challenge of Transitive Closure.
  
• 10/3/97
  Boaz Trakhtenbrot.
  Paradigms amd Models in Concurrency .