O Capítulo IEEE CASS RS está organizando o IEEE CASS Rio Grande do Sul Talks 2022, uma série de lives todas sextas-feiras às 13:30h (horário de Brasília) pelo YouTube.

A próxima live será no dia 19 de agosto às 13:30, com o Prof. Rolf Drechsler, da University of Bremen/DFKI, Alemanha e o tema será “Polynomial Formal Verification: Ensuring Correctness Efficiently"

Você poderá acompanhar a live através do link abaixo. Contamos com a sua presença!

Link do YouTube: https://www.youtube.com/cassriograndedosul

OBS: Slides e áudio em Inglês

As versões gravadas das palestras de 2020 e 2021 também estão disponíveis lá no canal YouTube do IEEE CAS RS