Cris will give a talk at the Seminar on Artificial Intelligence and Logic.

Title: Provas transparentes: o sonho dos professores
Data: 25 de outubro - sexta-feira - 15h - Auditótio Imre Simon, CCSL, IME/USP
Speaker: Cristina Gomes Fernandes

Abstract: Nesse seminário vamos apresentar o que são as chamadas provas transparentes e o que diz o Teorema PCP, um famoso e impressionante resultado da área de complexidade computacional, com impactos em várias outras áreas.

More details: SNAIL