Seminários do Grupo de
L
ógica,
I
nteligência
A
rtificial e
M
étodos
F
ormais
Realizados às quintas-feiras, das 16h às 17h, no Auditório do CCSL.