Session 8 - Propose and discuss your own formalization candidate theories
We decide which theories will be formalized in the second part of the course.
Overview
| Topic | Duration | Notes |
|---|---|---|
| Discuss the candidate theories, form groups | 150 |
| Topic | Duration | Notes |
|---|---|---|
| Discuss the candidate theories, form groups | 150 |