18/03: Intro
20/03: PFPL Cap 1
25/03: PFPL Cap 2
27/03: PFPL Cap 3 + ejercicios
mini-tarea 1 (27/03-07/04)
01/04: PFPL Cap 4
03/04: PFPL Cap 5 (hasta 5.2)
08/04: PFPL Cap 5 y Cap 6 (hasta 6.1)
10/04: PFPL Cap 6 + corrección mini tarea 1
15/04: mini-control 1 + PFPL Cap 7
17/04: PFPL Cap 8
22/04: PFPL Cap 10 (menos 10.3), intro Cap 11
mini-tarea 2 (23/04-30/04)
24/04: PFPL Cap 11
29/04: PFPL Cap 12 (statics)
06/05: PFPL Cap 12 (dynamics) + PFPL Cap 9
08/05: paro
13/05: mini-control 2 + Coq demo
15/05: paro
20/05-22/05: vacaciones
27/05: PFPL Cap 16 (hasta 16.2)
29/05: PFPL Cap 16 y Cap 17 (intro)
03/06: PFPL Cap 17
05/06: TAPL Cap 13