Caras e caros: Também não poderei participar do encontro, pois estarei coordenando o Fórum mencionado pelo Walter. Bom encontro!
Itala Em sex., 12 de ago. de 2022 às 20:46, Walter Carnielli <walte...@unicamp.br> escreveu: > 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ê 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/CAOrCsLcDF-yN2NgQHj-BLLSpzKd2kW4BeozcV%3DMQ9xwJreWH8w%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcDF-yN2NgQHj-BLLSpzKd2kW4BeozcV%3DMQ9xwJreWH8w%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Prof. Dr. Itala M. Loffredo D'Ottaviano Full Professor in Logic and the Foundations of Science Member and Researcher of the *Centre for Logic, Epistemology and the* *History of Science* at the University of Campinas Research Fellow of the *Brazilian National Council for Scientific and Technological Development* Titulaires Member, *Brazilian Academy of Philosophy* (Rio de Janeiro) Emeritus Member, *Académie Internationale de Philosophie de Sciences * (Bruxelles) Titulaires Member, *Institut International de Philosophie *(Paris-Nancy) Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and the* *History of Science.* -- 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/CAGi1dG6HH12yL5JXKvnxryHW1BTb5S68Nh3F1wDHk2e4OC88hw%40mail.gmail.com.