Obrigado pela divulgação Samuel! A sessão de teoria de categorias do encontro conjunto Brasil-Portugal de Matemática, organizado por Valeria de Paiva, Maria Manuel Clementino, José Siqueira e eu, também gostaríamos de agradecer ao grupo de Lógica-Matemática da UFBA pela gentil oferta de compartilhar a estrutura do grupo (canal do youtube) para divulgar as palestras da sessão de teoria das categorias: https://sites.google.com/view/categoriasbrasil-portugal/
Abraços, Hugo Mariano Em qua., 17 de ago. de 2022 às 00:18, 'samuel' via LOGICA-L < logica-l@dimap.ufrn.br> escreveu: > ... 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, 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ê 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/251e8023-e05e-4261-8f6e-e57e20c38d2fn%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/251e8023-e05e-4261-8f6e-e57e20c38d2fn%40dimap.ufrn.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/CAOf4PqgnTDoB-%3DnDTPQULjDYRyr0m%2BCWR8CUoz3z9DB_oWEwKQ%40mail.gmail.com.
