>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ã.
Muito obrigada pelo "shout-out" Samuel!! O José Siqueira, o Hugo Mariano, a Maria Manuel Clementino e eu estamos organizando uma sessão de teoria de categorias no mesmo encontro Brasil-Portugal. a descrição se encontra em https://sites.google.com/view/categoriasbrasil-portugal Abracos, Valeria On Thu, Aug 11, 2022 at 12:30 PM 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > 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/>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> > 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ê 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+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1614967870.1741939.1660246216221.JavaMail.zimbra%40ufba.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1614967870.1741939.1660246216221.JavaMail.zimbra%40ufba.br?utm_medium=email&utm_source=footer> > . > -- 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/CAESt%3DXta5sWq9hjcrL_3Y%2BxAT3h-YtB9%3Dm-UpRxyy_k6Mis0%3DQ%40mail.gmail.com.
