Primeiro anúncio: XXI SLALM – Simpósio Latino-Americano de Lógica Matemática (sessão Lógica Algébrica e Lógicas não clássicas).

[Pedro H. Zambrano]

Prezad@s colegas,

Temos o prazer de convidá-los para o XXI SLALM – Simpósio Latino-Americano de Lógica Matemática, que ocorrerá na Universidad de los Andes, em Bogotá, Colômbia, do dia 1º até o dia 5 de junho de 2026.

O site do simpósio é https://slalm21.uniandes.edu.co/en/, onde serão publicadas todas as informações sobre o encontro. A inscrição não tem custo, mas é muito importante que todos os participantes se inscrevam no formulário disponível no site, por meio do qual também podem ser submetidos os resumos das comunicações para as diferentes sessões.

A Associação da Lógica Simbólica (ASL) está apoiando a realização deste encontro; por isso, sugerimos conferir o site da ASL para informações dos apoios disponíveis (especialmente para alun@s): https://aslonline.org/

Estamos organizando uma sessão de Lógica Algébrica e Lógicas não clássicas e convidamos tod@s a submeter suas contribuições e a entrar em contato conosco caso tiver alguma dúvida.

Atenciosamente,
Noemí Lubomirsky nlubo...@mate.unlp.edu.ar
Pedro H. Zambrano phzam...@unal.edu.co

--

Pedro H. ZAMBRANO

Associate Professor

Department of Mathematics

Universidad Nacional de Colombia

Bogotá, Colombia

sites.google.com/a/unal.edu.co/phzambranor

[Elaine Pimentel]

Colegas, caro Pedro,

Muito obrigada, Pedro, pelo anúncio. Esperamos contar com a participação de vocês no SLALM de Bogotá, que é sempre um evento acolhedor, agradável e cientificamente rico!

As sessões paralelas que foram escolhidas para a edição de 2026 são:

- Set theory
- Model theory
- Recursion theory and computability
- Algebraic and non-classical logic -- Pedro puxou a sardinha pra dele :) 
- Philosophical logic
- Logic and computer science

As instruções de como submeter trabalhos está na página: https://slalm21.uniandes.edu.co/en/ Em particular, observem que deve-se usar o formato fornecido pela ASL.

As datas importantes são: 

- submissão de trabalhos: até 31.12.2025

- notificação de aceite: antes de 28.02.2025

- SLALM 2026: de 1 a 5 de junho de 2026.

O prazo para que estudantes peçam auxílio para a ASL é 01.03.2026.

Abraços,

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHHvcWtDMVUchUzBDRYtUvaCL6W%2BCmjbu9y3K_CoPa2A%3Duvwyg%40mail.gmail.com.

--

Elaine. 

-----------------------------------

Elaine Pimentel

Schools Outreach Lead

Professor of Logic and Computation

Programming Principles, Logic, and Verification 

Department of Computer Science, Office: Room 3.11, 66-72 Gower Street

University College London

URL: https://sites.google.com/site/elainepimentel/

UCL Computer Science is an Athena Swan Gold award winner for gender equality

UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024

-----------------------------------