A sessão de Lógica Matemática desta 5a está começando agora! https://youtu.be/PES173uOO9w
JM On Thu, Aug 18, 2022 at 11:04 AM Joao Marcos <[email protected]> wrote: > > 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/ -- 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_LiWTRVD_Mtg%3DFeW%3DeQbRUEGjQu1LR92kEk7DfAj_RU5gA%40mail.gmail.com.
