| |
Date | Speaker | Title (Click for Abstract) |
|---|---|---|---|
| 1. | February 24 | Bob Constable (Cornell) | The Logic of Events (continued) |
| 2. | March 3 | Alex Rabinovich (TAU) | Extensions of the Church Synthesis Problem |
| 3. | March 10 | Isolde Adler (Frankfurt) | Tree-width for first-order formulas |
| 4. | March 17 | Yuri Gurevich (Microsoft Research) | Security Policy: Logic and Engineering |
| 5. | March 24 | Passover | |
| March 31 | |||
| 6. | April 7 | Ben Sandbank (TAU) | ConText and COG |
| 7. | April 14 | Janos Makowsky (Technion) | Application of Logic to Generating Functions: Holonomic Sequences |
| -. | Sunday, April 18 Department Colloquium |
Moshe Vardi (Rice U.) | From Philosophical to Industrial Logics |
| 8. | April 21 | Seth Fogarty (Rice U.) | Ramsey-Based Buechi Complementation |
| 9. | April 28 | Shaull Almagor (HU) | Promptness in ω-regular automata |
| 10. | May 5 | Moshe Koppel (Bar Ilan U.) | Recent advances in authorship attribution |
| 11. | May 12 | Ori Lahav (TAU) | General Canonical Gentzen-Type Systems |
| |
May 19 | Shavuot | |
| 12. | May 26 | Nachum (TAU) | Unconventional Computation |
| 13. | June 2 | Liron Cohen (TAU) | TBD |
| 14. | June 9 | Chaitin in Haifa | |
Organizers: Arnon Avron, Nachum Dershowitz and Alexander Rabinovich