Logic and Formal Methods
Place: Shriber 209.
Time: 10-12 Tuesdays.
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 |