PUCRS - PET-Inf promove a palestra Notas Introdutórias sobre Interoperabilidade Formal

Detalhes
Cursos
Submit to FacebookSubmit to Google PlusSubmit to TwitterSubmit to LinkedIn
O Programa de Educação Tutorial da Faculdade de Informática da PUCRS realiza mais uma palestra dos "Seminários PET-Inf". A atividade, ministrada pelo professor Alfio Martini, acontece nesta segunda-feira, dia 8 de setembro, às 14h, e abordará o tema "Notas Introdutórias sobre Interoperabilidade Formal". O encontro esclarecerá os conceitos fundamentais necessários para a descrição e integração da arquitetura de sistemas heterogêneos, assumindo que as diversas partes da arquitetura desse sistema são descritas por meio de especificações formais (especificação que usam alguma variante da linguagem da lógica matemática).
Os seminários do PET-Inf são eventos onde professores, mestrandos e doutorandos realizam apresentações técnicas ligadas à informática, que abrangem conteúdos de artigos, experiências, realizações e projetos de pesquisas na área da computação. As apresentações são divididas por áreas, organizadas em blocos temáticos, proporcionando uma maior extensão das discussões sobre os temas.
 
A entrada é franca e não é necessária inscrição prévia. O encontro ocorre no auditório 517 do prédio 32, no Campus Central da Universidade (avenida Ipiranga, 6681 - Porto Alegre). Informações complementares pelo site www.inf.pucrs.br/~petinf ou pelo e-mail Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo..
Assessoria de Comunicação Social - PUCRS / ASCOM