As palestras da sessão de categorias estão sendo transmitidas em direto aqui: https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg/videos
Abraços, Joao Marcos On Wed, Aug 17, 2022 at 11:12 AM Hugo Luiz Mariano <[email protected]> wrote: > > 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 > <[email protected]> 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, [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/ >>>>>>> >>>>>>> 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 >>>>>>> >>>>>>> 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. >>>>>> >>>>>> -- >>>>>> 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. >>>>> >>>>> -- >>>>> 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. >>>> >>>> >>>> >>>> -- >>>> 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ê 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/251e8023-e05e-4261-8f6e-e57e20c38d2fn%40dimap.ufrn.br. > > -- > 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/CAOf4PqgnTDoB-%3DnDTPQULjDYRyr0m%2BCWR8CUoz3z9DB_oWEwKQ%40mail.gmail.com. -- http://sequiturquodlibet.googlepages.com/ -- 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/CAO6j_Lgc%3DxPH3C%3D4PEbjrawpR_KreEZ2cn7UHiEweOT5OwGxbQ%40mail.gmail.com.
