Schedule
This is a tentative schedule. We will negotiate the topics and replace some of the topics based on student interest. After the first meeting, some topics were fixed. The remaining topics, with presenter denoted as "(Vesal)", are still open to be replaced with student talks.
| Week | Date | Topic | Presenter |
|---|---|---|---|
| 1. | 02.09 | First Meeting: Introduction (slides, video) | Vesal |
| 2. | 09.09 | Data-Flow Analysis & Basics of Abstract Interpretation | Vesal |
| 3. | 16.09 | Concurrency & Thread-modular Analysis (classic, improved) | Vesal |
| 4. | 23.09 | The Constraint Solver TD3 & Incremental Analysis (td3, incremental) | Simmo |
| 5. | 30.09 | No Seminar | |
| 6. | 07.10 | Individual discussions | |
| 7. | 14.10 | No Seminar | |
| 8. | 21.10 | Ideas for Teaching Abstract Interpretation | Vesal |
| 9. | 28.10 | No Seminar | |
| 10. | 04.11 | Interactive Abstract Interpretation I: Theory | Vesal |
| 11. | 11.11 | No Seminar | |
| 12. | 18.11 | Interactive Abstract Interpretation II: Practice | Karoliine |
| 13. | 25.11 | Robustness certification for neural networks I (eran, paper) | Sander |
| 14. | 02.12 | Robustness certification for neural networks II | Discussion |
| 15. | 09.12 | Concurrent Separation Logic in IRIS (tutorial) | Oliver |
| 16. | 16.12 | Verifying a Local Generic Solver in Iris (paper) | Discussion |
For more gentle introductions to the neural network topics, also see the courses:
- Reliable and Trustworthy Artificial Intelligence by Martin Vechev @ ETH (More material: last year).
- Logic and Artificial Intelligence by Gagandeep Singh @ UIUC.