Calendari dels laboratoris dels subgrups 11, 12, 13, 21, 22

Data	Sessions	Continguts
dv 13 feb
dv 20 feb	sessió 1	pràctica 1: sat solver
dv 27 feb	sessió 2	pràctica 1: sat solver
dv 06 mar	sessió 3	pràctica 2: prolog
dv 13 mar	sessió 4	pràctica 2: prolog
dv 20 mar	sessió 5	pràctica 3: codificació en sat
dv 27 mar	sessió 6	pràctica 3: codificació en sat
dv 03 abr	dia no lectiu (setmana santa)
dt 07 abr, 15:30h	Examen Laboratori 1 (Pràctiques 1,2,3)
dv 10 abr	dia no lectiu (exàmens parcials)
dv 17 abr	sessió 7	pràctica 4: optimització en sat
dv 24 abr	sessió 8	pràctica 4: optimització en sat
dj 07 mai	sessió 9 (canvi de dia lectiu)	pràctica 5: prolog avançat
dv 08 mai	dia no lectiu (festa de la FIB)
dv 15 mai	sessió 10	pràctica 5: prolog avançat
dv 22 mai	sessió 11	pràctica 6: constraint logic programming
dv 29 mai	sessió 12	pràctica 6: constraint logic programming
dt 02 jun, 15:00h	Examen Laboratori 2 (Pràctiques 4,5,6)