1o Encontro USP-UFBA em Lógica e Fundamentos
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.
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 manhãs (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 .
Comitê científico e organizador:
Lucia Renato Junqueira (IME-USP)
Samuel Gomes da Silva (IME-UFBA)
Hugo Luiz Mariano (IME-USP)