Seminar on Abstract State Machines


Instructor: Professor Nachum Dershowitz
Time: Wednesdays, 15:10 - 17:00


Schedule


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

Topics and some references