| |
Date | Speaker | Title (Click for Abstract) |
|---|---|---|---|
| -1. | 6 October | Jamie Gabbay (King's College) | Nominal rewriting |
| 0. | 1 November | -- | (Organizational get together) |
| 1. | 8 November | Assaf Rinot (TAU Math) | Consistency strength of the Milner/Sauer conjecture |
| 2. | 15 November | Yoram Hirshfeld (TAU Math) | Temporal logics for continuous time |
| 3. | 22 November | Nir Piterman (Lausanne) | An Automata-Theoretic Approach to Sequential Infinite-State Systems |
| 4. | 29 November | Jacob Katz (Intel) | Model checking with quantified Boolean formulas |
| 5. | 6 December | Alex Rabinovich | Game semantics |
| 6. | 13 December | ||
| 7. | 20 December | *** Conference *** | |
| 8. | 27 December | Eyal Amir (Urbana) | Lifted First-Order Probabilistic Inference |
| 9. | 3 January | Dov Gabbay (King's College) | What is a logical system 2005? |
| 10. | 10 January | Nachum Dershowitz | Some Aspects of Propositional Horn Theories |
| 11. | 17 January | Iddo Tzameret | Proof complexity generators |
| 12. | 24 January | Alex Nadel (TAU, Intel) | A Clause-Based Heuristic for SAT Solvers |
| 13. | 31 January | Arnon Avron | A Framework for Formalizing Set Theories |
| |
Date | Speaker | Title (Click for Abstract) |
|---|---|---|---|
| 0. | 7 March | Uri Abraham (Ben Gurion U) | Classifying behavior of protocols |
| 1. | 14 March | *** Purim *** | |
| 2. | 21 March | Daniel Lehmann (Hebrew U) |
Algebras of Measurements: the logical structure of Quantum Mechanics |
| 3. | 28 March |
*** Elections ***
|
|
| 4. | 4 April | Janos Makowsky (Technion) | Logical aspects of graph polynomials |
| 5. | 11 April | *** Spring Break *** | |
| 6. | 18 April | *** Passover *** | |
| 7. | 25 April | Alexander Rabinovich | Undecidability of irrational temporal logics |
| 7b. | 27 April ***make-up*** | Arnaud Carayol (IRISA, France) | Survey on infinite automata |
| 8. | 2 May | *** Memorial Day *** | |
| 9. | 9 May | Jamie Gabbay (King's College) | Nominal algebra with applications |
| 10. | 16 May | ||
| 11. | 23 May | Malika More (Clermont-Ferrand) | Ash's counting functions and characterization of Ehrenfeucht-Fraissé equivalence for two classes of finite graphs |
| 12. | 30 May | Anna Zamansky | Canonical Gentzen-type calculi with (n,k)-ary quantifiers |
| 13. | 6 June | Amit Shomrat | Uniformization and selection over ordinals and trees |
| 14. | 13 June | *** Conference *** | |
Organizers: N. Dershowitz and Alexander Rabinovich