Class Dates: October 6 (Wednesday) - 8 (Friday)
Class Location: Online, Semana do
IME - UFG, Goiânia, Brasília
| Section 1 • 08:00-09:30, Wednesday, Oct 06, 2021 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 08:00 | 08:40 | 40 min | Logic and Formal Deduction | Mauricio Ayala-Rincón |
| 08:40 | 09:30 | 50 min | Exercise Set 1 | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| Section 2 • 08:00-09:30, Thursday , Oct 07, 2021 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 08:00 | 08:20 | 20 min | A case study on Group Theory | Thaynara Arielly de Lima |
| 08:20 | 09:30 | 70 min | Exercise Set 2 | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| Section 3 • 08:00-09:30, Friday, Oct 08, 2021 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 08:00 | 08:30 | 30 min | Pen-and-Paper vs Formalized Proofs | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| 08:30 | 09:00 | 60 min | A running example - PVS theory "algebra" | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |