|
|
Date | Speaker | Title | References |
|---|---|---|---|---|
| 0. | 4 March | Nachum | Introduction |
|
| 1. | 11 March | Hilary Putnam |
|
|
| 2. | 18 March | Nachum | Topics |
|
| 3. | 1 April | Omer | Lipari Guide | Paper |
| 4. | 22 April | Tal | ASM Theorem | Paper |
| 5. | 6 May | Gaby | Background | Paper |
| 6. | 13 May | Irena | Nondeterminism | Paper Notes |
| 7. | 20 May | Pavel | Church's Thesis | Paper |
| 8. | 27 May | Yorai | Effective Domains | Paper |
| 9. | 3 June | Itay | Interaction | Paper |
| 10. | 10 June | Nachum | Exact Exploration |
|
| 11. | 17 June |