... Ah sim, E temos "um plus a mais",
No canal do YouTube do nosso grupo de Lógica (link na mensagem anterior) Também faremos a live das duas sessões de Teoria das Categorias, Que ocorrerão nas mesmas quinta e sexta só que na parte da manhã, às 10h30. Abraços []s Samuel Em terça-feira, 16 de agosto de 2022 às 19:14:00 UTC-3, samuel escreveu: > 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, [email protected] > 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 < >> [email protected]> 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 < >>> [email protected]> 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 < >>>> [email protected]> 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 <[email protected]> >>>>> --- >>>>> 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 [email protected]. >>>>> 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 <[email protected]> >>>> --- >>>> 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 [email protected]. >>>> 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 <[email protected]> >>> --- >>> 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 [email protected]. >>> >> 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 <[email protected]> --- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/251e8023-e05e-4261-8f6e-e57e20c38d2fn%40dimap.ufrn.br.
