Novidades sobre comunicação, educação, empreendedorismo, tecnologia, inovação e muito mais.

UFRN recebe maior fórum mundial em Automated Deduction

[0] Comentários | Deixe seu comentário.

Na próxima sexta-feira, 23, tem início a 27ª Conference on Automated Deduction, ou CADE-27, o maior congresso mundial para a apresentação de aspectos de pesquisa em automated deduction, ou dedução automática, que significa utilizar o computador para verificar componentes de hardware e sistemas em geral, para provar teoremas matemáticos e analisar formalmente argumentos.

A princípio parece complicado mas na prática, como explica a professora do Departamento de Matemática Elaine Pimentel, a dedução automática é utilizada o tempo todo, como por exemplo, na indústria, para verificar se os componentes estão funcionando como deveriam, entre outras aplicabilidades.

Ter um evento deste porte na Universidade Federal do Rio Grande do Norte traz expectativas acadêmicas, afinal envolve mais de 150 pesquisadores de várias partes do mundo, mas também abre a possibilidade para novas parcerias, além do desenvolvimento de ferramentas computacionais de apoio, tanto para a indústria quanto para a universidade.

Nesta edição, o evento recebe como oradores Cas Cremers, do Centro de Segurança da Informação da CISPA Helmholtz, Alemanha; Assia Mahboubi, da Université de Nantes, França;  Vrije Universiteit, Amsterdam; e Cesare Tinelli, do Departamento de Ciência da Computação, Universidade de Iowa, nos Estados Unidos.

Além das palestras, o CADE-27 também oferece os seguintes workshops: Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE); Deduction Mentoring Workshop (DeMent 2019); Logical and Semantic Frameworks, with Applications (LSFA); Proof eXchange for Theorem Proving (PxTP); Theorem Prover Components for Educational Software (ThEdu’19);

O CADE-27 será realizado no Praiamar Hotel, de 23 a 30 de Agosto. As palestras do dia 23 serão realizadas no Anfiteatro A do CCET UFRN e a palestra do dia 24 no LAB LCC3, no DIMAp. Para mais informações sobre o evento acessehttps://www.mat.ufrn.br/CADE-27/ ou  http://cadeinc.org .