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: (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 1 0 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) -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/656781392.57674343.1492133565226.JavaMail.zimbra%40ufba.br.
