Encontros USP-UFBA em Lógica e Fundamentos
Descrição:
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 científica crescente entre membros dos dois departamentos (ou com passagens por estes) na área de Lógica e Fundamentos, resultando em trabalhos publicados em boas revistas da área.
Objetivos:
Os Encontros USP-UFBA em Lógica e Fundamentos têm por objetivo intensificar e solidificar essa colaboração através das seguintes ações:
a) Oferecimento de minicursos de Fundamentos, em nível de pós-graduação.
b) Realização de workshop contendo apresentações de trabalhos e sessão de pôsteres.
c) Reuniões de trabalho com membros das duas universidades para dar andamento a colaborações em progresso e avaliar perspectivas de outras colaborações futuras .
Edições:
2o Encontro USP-UFBA em Lógica e Fundamentos: 21 a 23 de fevereiro de 2024, IME-UFBA, Salvador
1o Encontro USP-UFBA em Lógica e Fundamentos: 17 a 20 de abril de 2017, IME-USP, São Paulo