Prezados, Seguindo com a presença da Lógica na recente tradição dos encontros bilaterais da Sociedade Brasileira de Matemática com as respectivas sociedades de outros países, em encontros organizados no Brasil (Brasil-Espanha 2015, Brasil-Itália 2016 e Brasil-França 2019),
Teremos também uma Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática https://sites.google.com/view/ecbpm/ o qual vai ser realizado aqui mesmo em Salvador, na semana que vem, de 14 a 19 de agosto. A sessão de Lógica ocorrerá em duas tardes, na quinta dia 18 (apresentações presenciais) e sexta dia 19 (apresentações online). Mesmo as apresentações presenciais, tentaremos viabilizar a transmissão ao vivo pelo Canal de YouTube do Grupo de Lógica da UFBA, mando mensagem na semana que vem confirmando isso (além de divulgar o link para a sessão da sexta-feira que vai ser online de todas as formas). Também temos uma página própria para a Sessão de Lógica: https://sites.google.com/view/logica-brasil-portugal Segue a descrição da sessão: ====================================================================== Tópicos: Decidability, Proof Theory, Type Theory, Model Theory, Complexity, Algebraic Logic, Categorical Logic, Non-Classical Logics, Set Theory. Organizadores da Sessão Temática: Alfredo Roque Freire Elaine Pimentel João Marcos Manuel Martins Samuel G. da Silva ********************** Quinta-feira, 18 de Agosto ********************** 13:50–14:00 Abertura da sessão (Elaine & João Marcos - organização) 14:00–14:20 Pedro Quaresma - Coimbra, Portugal New and interesting theorems 14:20–14:40 Renata de Freitas - Niterói, Brasil Graph logic in use 14:40–15:00 Samuel Gomes da Silva - Salvador, Brasil Kolmogorov-Veloso Problems, Dialectica Categories and Choice Principles 15:00–15:20 Alfredo Roque Freire - Aveiro, Portugal Modalities in worlds with different logics 15:20–15:40 Ciro Russo - Salvador, Brasil Coproducts and amalgamation of deductive systems by means of ordered algebras 15:40–16:00 Darllan Pinto - Salvador, Brasil Horn filter pairs and Craig interpolation in propositional logics ********************* Sexta-feira, 19 de Agosto ********************* 14:00–14:15 Marcelo Coniglio - Campinas, Brasil A new decision method for da Costa’s C-systems by means of restricted non-deterministic matrix semantics 14:15–14:30 Luís Pinto - Braga, Portugal Call-by-name and call-by-value lambda-calculi as modal calculi 14:30–14:45 Mário Florido - Porto, Portugal Substructural logics: less rules mean more expressiveness 14:45–15:00 Cristina Sernadas - Lisboa, Portugal Schema complexity in propositional-based logics 15:00–15:15 Mário Jorge Edmundo - Lisboa, Portugal Logic and algebraic varieties in non-Archimedean fields 15:15–15:30 Isabel Oitavem - Lisboa, Portugal A logical approach to the Polynomial Hierarchy 15:30–15:45 Alexandre Madeira - Aveiro, Portugal Towards the generation of graded modal logics: parametric methods and applications 15:45–16:00 Hugo Mariano - São Paulo, Brasil Algebraic and model-theoretical contributions to the theory of algebraically closed multifields 16:00–16:10 Manuel & Alfredo (organização) Encerramento ======================================================================= Uma versão completa dos resumos está na página do Brasil-Portugal, junto com todas as outras sessões https://sites.google.com/view/ecbpm/sess%C3%B5es-tem%C3%A1ticas e de todos os modos os resumos de Lógica estão disponíveis no Drive abaixo: https://drive.google.com/file/d/1VDq4QbModS7udFIqrh3CCg1ofbno1Zk6/view Abraços []s Samuel PS: Temos colegas lógicos também na Sessão de Teoria das Categorias, a qual vai ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte da manhã. -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1614967870.1741939.1660246216221.JavaMail.zimbra%40ufba.br.
