17 a 20 de abril de 2017, IME-USP, São Paulo
O IME-USP e o IME-UFBA são dois dos principais centros de pesquisa em Lógica e Fundamentos do Brasil, sediados em Departamentos de Matemática, e têm mantido intensas e profícuas trocas:
(i) muitos dos professores desta área do IME-UFBA são doutores pelo IME-USP;
(ii) o IME-UFBA tem enviado muitos de seus mestres e bacharéis em Matemática para realizar seus doutorados no IME-USP;
(iii) nos últimos anos têm ocorrido uma colaboração cientifica crescente entre membros dos dois programas na área de Lógica e Fundamentos, resultando em trabalhos publicados em boas revistas da área.
Este 1º Encontro USP-UFBA em Lógica e Fundamentos tem por objetivo intensificar e solidificar essa colaboração. Para isto estão programados:
a) Pelas manhas (10hs-12hs): um minicurso de Fundamentos, em nível de pós-graduação, realizado no IME-USP e ministrado por um professor do IME-UFBA.
b) Nas tardes (14hs-18hs): um workshop contendo cerca de 20 apresentações (30 min) de trabalhos (cerca de 10 professores, cerca de 10 pós-graduandos do IME-USP). Eventualmente um dia com sessão de pôsteres.
c) Nas noites (19hs-21hs): reuniões de trabalho para dar andamento a colaborações em 3 artigos em elaboração .
Mais informações (títulos das apresentações, resumos) no site do evento:
https://sites.google.com/site/1ouspufbalogica/
Comitê científico e organizador:
Lucia Renato Junqueira (IME-USP)
Samuel Gomes da Silva (IME-UFBA)
Hugo Luiz Mariano (IME-USP)