| Date | Speaker | Title | |
|---|---|---|---|
| 23th October | Alex Rabinovich (TAU) | verification of lossy channel systems. Abstract | |
| 30th October | Arnon Avron | A simple purely logical formulation of Church Thesis. Abstract | |
| 6th November | Alex Rabinovich | Effective Strategies for Asynchronous Distributed Control. by P. Madhusudan and P.S. Thiagarajan: Abstract | |
| 13 November | Nachum Dershowitz | Proof by Consistency: Induction without Induction Rules Abstract | |
| 20th November | Doron Friedman | Knowledge-Based Formalization of Cinematic Expression Abstract | |
| 27 November | Iddo Tzameret | Gap Embedding Theorems Over Well-Quasi-Orderings Abstract | |
| 4th December | Boaz Trakhtenbrot | Principles of Interaction Abstract | |
| 11th December | Shmuel Tyszberowicz | UML- A survey Abstract | |
| 18th December | Anatol Slissenko (Univ. Paris 12) | Periodicity Based Decidable Classes in a First Order Timed Logic Abstract | |
| 25td December | Nachum Dershowitz | Penrose's argument in favor of man over machine. Abstract | |
| 1th January | Arnon Avron | What is fuzzy logic Abstract | |
| 8th January | Guy Gildor | A Development of Set Theory in Fuzzy Logic Abstract | |
| 18th February | Shmuel Katz (Technion) | The Theory and Practice of Translating Models and Properties Abstract | |
| 4 March | Zohar Manna | Integration of Decision Procedures: State of the Art Abstract | |
| 11th March | Greta Yorsh | Logical Characterization of Heap Abstractions. Abstract | |
| 18th March | Hag Purim | ||
| 25th March | Amnon Ta-Shma | An introduction to the quantum computation model Abstract | |
| 1th April | Mooly Sagiv | Symbolic Implementation of the Best Transformer Abstract | |
| 8th April | Beata Konikowsks, Polish Academy of Sciences | Reducing Model Checking from Multi-Valued CTL* to CTL* Abstract | |