Fw: 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

[Hugo Luiz Mariano]

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

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.