Deadlines (Mandatory Core)
- 16.09 Topic Selection: topic, language and supervisor.
- 07.10 Pre-Writing Artefacts.
- 04.11 Draft Submission & 11.11 Reviews.
- 13.01 Final Submission & 27.01 Reviews.
- 26.01 Conference (Cancelled)
Optional Meetings
| Week | Date | Topic | Material | Deadlines |
|---|---|---|---|---|
| 1. | 01.09 | First Meeting: Introduction | Ramsey's Intro | |
| 2. | 08.09 | Consultation for those unsure about their topics | Questionnaire! | |
| 3. | 15.09 | Discussions on Sound Static Analysis Topics | Topic submission | |
| 4. | 22.09 | Exercise A (Who Does What to Whom) | ex1, ex2, ex3 | |
| 5. | 29.09 | Break (ATI Day) | ||
| 6. | 05.10 | Break | Pre-Writing artefacts | |
| 7. | 13.10 | Exercise C (Old and New Information) | ex4 | |
| 8. | 17.10 | Exercise E (Coherent Subjects) / Teaching Agenda Meeting | ex5 | |
| 9. | 24.10 | Break | ||
| 10. | 03.11 | Software Engineering Papers & Highlight Sections Δ | SigSoft, FSE'21 | Draft Submission |
| 11. | 10.11 | Focus: Program Analysis | Draft Reviews | |
| 12. | 17.11 | Break | ||
| 13. | 24.11 | Practices I: Moderate Teaching / Goblint Tutorial | ||
| 14. | 01.12 | Benchmarking | ||
| 15. | 08.12 | Practices II: Moderate Writing / Exercise H (Paragraphs) | Paper Submission | |
| 16. | 15.12 | No meeting | Paper Reviews |