|
Date | Speaker | Title (Click for Abstract) |
---|---|---|---|
0. | 20 October | Everyone | Past, Present, Future |
1. | 27 October | Arnon Avron (TAU) | Truth Degrees and Relevance |
2. | 3 November | Yaron Welner (TAU) | Church Synthesis Problem for Noisy Input |
3. | 10 November | Dov Gabbay (King's College) | Contrary to Time Conditional in Talmudic Logic |
4. | 17 November | Orna Kupferman (Hebrew U) | Coping with selfish on-going behaviors |
5. | 24 November | Beata Konikowska (Polish Academy) | Handling information from reasonable sources |
6. | 1 December | Dafna Shahaf (CMU) | Connecting the Dots Between News Articles |
7. | 8 December | Alex Rabinovich (TAU) | Decidable Expansions of Labelled Linear Orderings |
8. | 15 December | Ori Lahav (TAU) | A Multiple-Conclusion Calculus for First-Order Gödel Logic |
9. | 22 December in 309 Schreiber | Oded Maler (IMAG Grenoble) | Amir Pnueli and the Dawn of Hybrid Systems |
10. | 29 December | Iddo Tzameret (Tsinghua) | Average-case separation in proof complexity: Short propositional refutations for random 3CNF formulas |
11. | 5 January | Bob Constable (Cornell) | The Role of Type Theory: Principia Mathematica's Impact on Computer Science |
12. | 12 January | Shahar Lev (TAU) | Safety Signature for Geometric Constructions |
13. | 19 January in 211 Dan David | Hilary Putnam (Harvard) | The Curious Story of Quantum Logic |
Organizers: Arnon Avron, Nachum Dershowitz and Alexander Rabinovich