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

• 16/6/02
  Ben-Amram Amir
  General Size-Change Termination versus Lexicographic Descent
• 30/5/02
  Arnon Avron
  Transitive Closure and Inductive Reasoning
• 2/5/02
  Alex Rabinovich
  Probabilistic Logic
• 18/4/02
  Cindy Eisner (IBM Haifa)
  automatic detection of vacuity
• 16/4/02
  Matthias Baaz (Vienna)
  A Schuette-Tait style cut-elimination proof for first-order Goedel logic
• 14/3/02
  Nachum Dershowitz
  Abstract Canonical Inference
• 14/3/02
  Nachum Dershowitz
  Abstract Canonical Inference
• 17/1/02
  Alexander Bochman
  The problem of belief change
• 10/1/02
  Iddo Tzameret
  Well-Quasi-Ordering of Finite Trees: Kruskal's Theorem and Friedman's Conjecture (part 2)
• 3/1/02
  Iddo Tzameret
  Well-Quasi-Ordering of Finite Trees: Kruskal's Theorem and Friedman's Conjecture
• 20/12/01
  Arnon Avron
  The Logical Side of Fuzzy Logic.
  
• 29 /11/00
  Alex Rabinovich
  Temporal Logic over Branching Time: Expressiveness and Complexity
• 8 /11/01
  Yoram Hirshfeld .
  Future Temporal and Classical Logic.
  
• 1 /1/01
  Yoram Hirshfeld .
  Future Temporal and Classical Logic.
  
• List of the talks in 1999