Caros Atualizando as informações (sobre as sessões de Lógica Matemática do Brasil-Portugal),
---> a sessão presencial de quinta-feira 18/08 às 14hs vai ser transmitida ao vivo (a famosa "live") no canal de YouTube do grupo de Lógica Matemática da UFBA: https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg/featured Será a primeira live que faremos, então pedimos desculpas antecipadamente por qualquer problema... 8-) --> a sessão online da sexta-feira 19/08 às 14hs vai ser transmitida via Zoom no link https://ucl.zoom.us/j/96643160730 Convidamos todos os interessados a nos acompanhar ! Abraços []s Samuel Em domingo, 14 de agosto de 2022 às 00:02:29 UTC-3, it...@unicamp.br escreveu: > 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 <walt...@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...@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 < >>> logi...@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 <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 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 <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 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 <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 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/bcd5072b-6fc8-4b73-afe1-d1abf7edba0fn%40dimap.ufrn.br.