XXI Encontro Brasileiro de Lógica

• Processo: 24/23449-8
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 12 de maio de 2025
• Data de Término da vigência: 16 de maio de 2025
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação
• Pesquisador responsável: Marcelo Finger
• Beneficiário: Marcelo Finger
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): História da ciência Inteligência artificial Lógica matemática
• Palavra(s)-Chave do Pesquisador: Ciência da Computação | História da ciência | Inteligência Artificial | Lógica e Filosofia Analítica | Lógica Matemática | Inteligência Artificial

Resumo

O objetivo dos Encontros Brasileiros de Lógica (EBL), evento internacional que ocorre em média a cada dois anos desde sua primeira edição realizada em 1977, é estimular a divulgação e a discussão dos trabalhos de pesquisa na área de Lógica e suas interconexões com as áreas de Filosofia Teórica, Fundamentos/História/Filosofia das Ciências, Computação, Inteligência Artificial e Matemática, bem como promover a interação de pesquisadores nacionais com nomes expressivos da América Latina, além de convidados de outros continentes, na área de Lógica. Essa edição do EBL ocorrerá entre os dias 12 e 16 de maio de 2025 em Serra Negra-SP. A escolha do estado de São Paulo reflete o reconhecimento da comunidade ao desenvolvimento da Lógica nas universidades do estado, tais como USP e Unicamp, mas também Unesp, Unifesp e UFSCar, entre outras. Os últimos EBLs ocorridos no estado de São Paulo foram em 2003, na cidade de Campinas e em 1988, na cidade de São Paulo. A escolha do estado de São Paulo deve-se em parte a esse reconhecimento, mas sobretudo ao elevado número de estudantes de graduação e de pós-graduação nas universidades paulistas, provindos das áreas de filosofia, matemática e computação, com interesses em Lógica. A cidade de Serra Negra propiciará um excelente ambiente para o convívio entre estudantes, professores e pesquisadores, seja pela infraestrutura instalada, mas também pelas opções tarifárias que são oferecidas. Assim como nas últimas seis edições anteriores do EBL, uma Escola de Lógica, para estudantes brasileiros e estrangeiros, mas também aberta a todos os interessados, está prevista para ocorrer nos dias que antecedem o evento (9-11 de maio), no Instituto de Matemática e Estatística da USP (IME-USP). A escola reunirá alunos de graduação e de pós-graduação de várias instituições de ensino, e os colocará em contato com vários pesquisadores, que ministrarão minicursos, visando à formação destes alunos em assuntos essenciais para o seu desenvolvimento acadêmico. (AU)