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: eventos@icmc.usp.br