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)