CM0859 – MT5009 Type Theory

Semester 2025-2

This page will be continuously updated during the course!

1. Course Information

1.1 Lecturer

Andrés Sicard-Ramírez asr(at)eafit(dot)edu(dot)co
Office hours: Tuesdays, 2:30 p.m. – 3:30 p.m., room 19-409

1.2 Official channel

1. Lecturer

2. Course coordinator

3. CM0859: Head of Master of Applied Mathematics
   Sergio Ramírez Rico <ssramirezr(at)eafit(dot)edu(dot)co>

4. MT5009: Head of the undergraduate program of Computing Science
   Andrés Sicard-Ramírez asr(at)eafit(dot)edu(dot)co

1.3 Lectures

CM0859 Class 7481 and MT5009 Class 8122
Wednesdays, room 07-101, 5:00 p.m. – 7:00 p.m.

2. Examination

2.1 Percentages

2.2 Dates and descriptions

3. Slides