Car@s colegas, Encaminho abaixo mensagem sobre a "Semana Temática de Lógica, Conjuntos e Topologia do Programa de Verão do PGMAT da UFBA" *(19-23 de Fevereiro, Salvador)* e o "II Encontro USP-UFBA de Lógica e Fundamentos da Matemática"* (21-23 Fevereiro, Salvador).* Observo que parte das atividades será transmitida.
Cordialmente Hugo Mariano ********************************************************************************************************************************** *É com grande prazer que anuncio e convido a todos os colegas a participarem da Semana Temática de Lógica, Conjuntos e Topologia do Programa de Verão do PGMAT e do II Encontro USP-UFBA de Lógica e Fundamentos da Matemática. Esta edição do Encontro USP-UFBA é em homenagem ao prof. Andreas Bernhard Michael Brunner em comemoração ao seu aniversário de 60 anos.* *Teremos, na quinta-feira 22/02, às 17h, uma sessão em homenagem aos 60 anos do professor e da sua enorme contribuição nestes últimos 20 anos junto ao grupo de pesquisa em Lógica e Fundamentos e do nosso Departamento de Matemática.* *A Semana Temática de Lógica ocorrerá no Auditório Maria José de Oliveira de 19 a 23 de fevereiro, e o II Encontro USP-UFBA de Lógica* *e Fundamentos da Matemática ocorrerá nos dias 21 a 23 de fevereiro, no mesmo auditório. Maiores detalhes sobre os eventos podem ser encontrados em:* *https://sites.google.com/view/semanatematicalogica2024/p%C3%A1gina-inicial <https://sites.google.com/view/semanatematicalogica2024/p%C3%A1gina-inicial>* *Esperamos contar com a sua presença para tornar este evento ainda mais significativo.* *Abaixo segue um resumé da trajetória do prof. Andreas.* *Andreas Bernhard Michael Brunner iniciou seus estudos em Matemática no final de 1984 na Ludwig-Maximilians-Universitat (LMU) em Munique, tendo interrompido seus estudos em 1985 e 1986 para trabalho civil, em substituição ao serviço militar. Obteve o Vordiplom em 1988 (com quatro provas orais, incluindo Análise, Matemática Aplicada e Estatística). Já interessado por Lógica Matemática, estudou Lógica, Teoria dos Conjuntos e Filosofia Geral na Faculdade de Filosofia da Universidade de Regensburg por dois semestres. Retornou à LMU em 1989 para retomar os seus estudos em Matemática, tendo cursado nesse mesmo ano as disciplinas de Lógica Matemática e Teoria Axiomática dos Conjuntos. Obteve o Hauptdiplom após 13 semestres de estudos em Matemática em 1993, com Diplomarbeit (equivalente no Brasil à uma dissertação de mestrado, oficialmente reconhecida posteriormente pela USP) na área de Análise Complexa com várias variáveis. Em agosto de 1995 foi aceito pelo programa de Doutorado da USP e iniciou seus estudos de doutoramento sob a orientação do Prof. Dr. Francisco (Chico) Miraglia. Seu trabalho de pesquisa no doutorado envolvia a Teoria de Modelos em pré-feixes e feixes (objetos que atraem o interesse de algebristas, geômetras algébricos e lógicos matemáticos), com destaque para um Teorema de Omissão de Tipos para feixes sobre espaços topológicos. Concluiu o seu doutorado no ano 2000 e publicou (em co-autoria com Chico) um artigo com seu resultado mais importante da tese em 2004, no Logic Journal of IGPL (Reino Unido). Nos anos de 2001 e 2002 esteve desenvolvendo um pós-doutorado no CLE da UNICAMP, trabalhando sob a supervisão do Prof. Dr. Walter Carnielli, e ministrou um curso de Teoria de Modelos para os estudantes de mestrado do CLE em 2002. Seus trabalhos de pesquisa no CLE envolveram lógicas intuicionistas com apartness, lógicas anti-intuicionistas e paraconsistentes e um artigo com seu trabalho nessa época (em co-autoria com Walter) foi publicado no renomado periódico Journal of Applied Logic (Holanda) em 2005. Ingressou no Departamento de Matemática da UFBA em 2003 e foi figura fundamental na criação, desenvolvimento e consolidação do Grupo de Pesquisa em Lógica, Conjuntos e Topologia, que está ativo até hoje e recentemente organizou o principal encontro de Lógica do país (EBL Salvador, 2022). Tem atuação destacada no ensino, ministrando disciplinas nos cursos de graduação em Matemática e em Ciência da Computação, com produção de material didático. Desde 2003 Andreas orientou 16 trabalhos de iniciação científica, 05 monografias de graduação e 02 mestrados. Segue ativo na pesquisa, com colaboradores na UFBA, na USP e no exterior, publicando papers sobre lógicas abstratas, dualidades e formas categoriais do Axioma da Escolha. É Professor Titular do Departamento de Matemática da UFBA desde 2021.* -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqh%3DTxhKPSaiVd%3D2mrDB7mTraRXJPGVDuiQGc7ZFgQT0qw%40mail.gmail.com.
