Entrada Lista de Eventos

Escola de Verão Internacional sobre Teoria da Prova na Lógica de Primeira Ordem

Calendário de Eventos help
Flat View
Ver por ano
Vista Mensal
Ver por mês
Weekly View
Ver por semana
Daily View
Ver Hoje
Categories
Ver por categorias
Search
Procurar
Escola de Verão Internacional sobre Teoria da Prova na Lógica de Primeira Ordem
De Sexta-feira, 25 Agosto 2017
Para Domingo, 27 Agosto 2017
ESCOLA DE VERÃO INTERNACIONAL 
 
  
TEORIA DA PROVA NA LÓGICA DE PRIMEIRA ORDEM
 

22 a 27 de agosto – Auditório da Reitoria (Colégio dos Jesuítas)
 


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 Este endereço de e-mail está protegido de spam bots, pelo que necessita do Javascript activado para o visualizar , 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).
  
 
Local : Auditório da Reitoria, Colégio dos Jesuítas

Voltar