Publication Date: 25/11/2021

Proof Society Workshop and Winter School 2021

Entre 29 de novembro e 4 de dezembro de 2021, vão realizar-se na Universidade da Madeira os seguintes eventos:

- Escola de Inverno Internacional sobre Teoria da Prova (entre 29/11 e 1/12);
- Workshop "Teoria da Prova e suas aplicações" (entre 2/12 e 4/12);

Estes eventos são organizados pela Kurt Gödel Society, com a colaboração da Universidade da Madeira e têm como público alvo investigadores e estudantes da área de ciências da computação, bem como investigadores e estudantes de qualquer outra área que se interessem por este tema.

Para os investigadores e estudantes da Universidade da Madeira a participação nestes eventos é gratuita, mas os interessados devem inscrever-se enviando um e-mail para emarques@uma.pt ou m_reis@staff.uma.pt, no qual deverão indicar o seu nome e a sua área de estudo/investigação.

Os programas do workshop e da escola de Inverno, bem a lista de oradores convidados e outras informações sobre este evento podem ser encontradas aqui.