Class Dates: May 29 (Monday) - June 02 (Friday)
Class Location: Universidad Nacional
de Colombia - Sede Manizales, Facultad de Ciencias Exactas y Naturales
| Section 1 • 16:00-18:00, Monday, May 29, 2023 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 16:00 | 18:00 | 120 min | Mathematical Deduction | Mauricio Ayala-Rincón |
| Section 2 • 16:00-18:00, Tuesday, May 30, 2023 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 16:00 | 16:40 | 40 min | Case of study: Infinity of primes by a topological argument | Thaynara Arielly de Lima |
| 16:40 | 18:00 | 80 min | Exercise Set | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| Section 3 • 16:00-18:00, Wednesday, May 31, 2023 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 16:00 | 16:30 | 30 min | The Prototype Verification System vs Sequent Calculus | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| 16:30 | 18:00 | 90 min | Exercise Set | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| Section 4 • 16:00-18:00, Thursday, June 01, 2023 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 16:00 | 18:00 | 120 min | Exercise Set | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| Section 5 • 16:00-18:00, Friday, June 02, 2023 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 16:00 | 18:00 | 120 min | Exercise Set | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |