A Universidade da Madeira (UMa) vai acolher, entre 22 e 27 de agosto, a Escola de Verão Internacional sobre Teoria da Prova na Lógica de Primeira Ordem (International Summer School for Proof Theory in First-Order Logic).

O evento vai decorrer no Auditório da Reitoria, no Colégio do Jesuítas, e resulta de uma parceria entre a Kurt Gödel Society e a UMa, com o objetivo de juntar investigadores das áreas de lógica e ciências da computação, portugueses e internacionais.

A escola de verão tem como destinatários preferenciais os estudantes de mestrado ou doutoramento da área de ciências da computação, estando, no entanto, também aberta à participação de estudantes de qualquer outra área da matemática e das engenharias que se interessem por este tema.

A participação é gratuita para os alunos da UMa, devendo os interessados candidatar-se, enviando um e-mail para madeira@logic.at, no qual deverão indicar (em Inglês) a sua nacionalidade, o seu curso e, caso se aplique, o nome do seu orientador (de mestrado ou de doutoramento).