[UMa] International Summer School for Proof Theory in First-Order Logic

[UMa] International Summer School for Proof Theory in First-Order Logic

by Eduardo Marques -
Number of replies: 0

Caros Alunos,

a FCEE/UMa participa na organização da "International Summer School for Proof Theory in First-Order Logic",  que irá ocorrer em agosto, na Universidade da Madeira (22 a 27 de agosto), conjuntamente com a The Kurt Gödel Society, Áustria.

É uma oportunidade para todos os envolvidos na área da lógica, matemática e computação de conhecerem especialistas internacionais em diversas áreas. Existe a disponibilidade para os alunos de mestrado ou doutoramento da UMa poderem assistir e participar, mediante inscrição - limitadas!  (os alunos da UMa não pagam inscrição).

Todas as informações sobre o evento podem ser consultadas na página do evento. A inscrição e outras informações podem ser enviadas para madeira@logic.at (para a inscrição indiquem, por favor, em inglês: Name, Nationality, University & University program).

Cumprimentos,
Eduardo Marques
Maurício Reis
(Organização local)