Pessoal ,desejo boa sorte mas esclareço que não poderei participar porque eu estou dando uma palestra em um Fórum da Unicamp neste dia.
Abs Walter Em sex., 12 de ago. de 2022 17:22, Valeria de Paiva < valeria.depa...@gmail.com> escreveu: > >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ê 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/CAESt%3DXta5sWq9hjcrL_3Y%2BxAT3h-YtB9%3Dm-UpRxyy_k6Mis0%3DQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXta5sWq9hjcrL_3Y%2BxAT3h-YtB9%3Dm-UpRxyy_k6Mis0%3DQ%40mail.gmail.com?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/CAOrCsLcDF-yN2NgQHj-BLLSpzKd2kW4BeozcV%3DMQ9xwJreWH8w%40mail.gmail.com.
