No dia 19/08 às 13h30min (Horário de Brasília) ocorrerá a palestra “Polynomial Formal Verification: Ensuring Correctness Efficiently” com o Prof. Rolf Drechsler (University of Bremen/DFKI, Germany).
A transmissão será feita pelo canal do YouTube do IEEE CASS Rio Grande do Sul Chapter.
Confira as próximas palestras: