Notícias
Data da publicação: 02/02/2015
Palestra
Indução de Programas em Lógica: uma tecnologia com futuro
Palestrante: Rui Camacho (LIAAD-INESC-TEC e DEI, Faculdade de Engenharia da Universidade do Porto, Portugal)
Quando: quarta-feira, 4 de fevereiro, às 9h
Onde: sala 3-002
Clique aqui para ver o resumo
---------
Mais informações
Agenda de eventos do ICMC: www.icmc.usp.br/Portal/EventosSeção de Eventos: (16) 3373.9622
E-mail: Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.