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

Data	Sessions	Continguts
dt 08 sep
dt 15 sep	sessió 1	pràctica 1: sat solver
dt 22 sep	sessió 2	pràctica 1: sat solver
dt 29 sep	sessió 3	pràctica 2: prolog
dt 06 oct	sessió 4	pràctica 2: prolog
dt 13 oct	sessió 5	pràctica 3: codificació en sat
dt 20 oct	sessió 6	pràctica 3: codificació en sat
dt 27 oct	sessió 7	pràctica 4: optimització en sat
dt 03 nov, 10:30h	Examen Laboratori 1 (Pràctiques 1,2,3)
dt 10 nov	sessió 8	pràctica 4: optimització en sat
dt 17 nov	sessió 9	pràctica 5: prolog avançat
dt 24 nov	sessió 10	pràctica 5: prolog avançat
dt 01 dic	sessió 11	pràctica 6: constraint logic programming
dt 08 dic	dia no lectiu (festiu)
dt 15 dic	sessió 12	pràctica 6: constraint logic programming
dl 21 dic, XX:00h	Examen Laboratori 2 (Pràctiques 4,5,6)