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

Data	Sessions	Continguts
dt 09 sep
dt 16 sep	sessió 1	pràctica 1: sat solver
dt 23 sep	sessió 2	pràctica 1: sat solver
dt 30 sep	sessió 3	pràctica 2: prolog
dt 07 oct	sessió 4	pràctica 2: prolog
dt 14 oct	sessió 5	pràctica 3: codificació en sat
dt 21 oct	sessió 6	pràctica 3: codificació en sat
dt 28 oct	sessió 7	preparació examen
dt 04 nov, 10:30h	Examen Laboratori 1 (Pràctiques 1,2,3)
dt 11 nov	sessió 8	pràctica 4: optimització en sat
dt 18 nov	sessió 9	pràctica 4: optimització en sat
dt 25 nov	sessió 10	pràctica 5: prolog avançat
dt 02 dic	sessió 11	pràctica 5: prolog avançat
dt 09 dic	sessió 12	pràctica 6: constraint logic programming
dt 16 dic	sessió 13	pràctica 6: constraint logic programming
dl 22 des, 11:30h	Examen Laboratori 2 (Pràctiques 4,5,6)