Novo link: https://www.youtube.com/watch?v=21yJeNFTI3g
JM On Thu, Aug 18, 2022 at 2:12 PM Joao Marcos <botoc...@gmail.com> wrote: > > 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 <botoc...@gmail.com> 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 <hugo...@ime.usp.br> > > 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 > > > <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/ > > >>>>>>> > > >>>>>>> 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 <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. > > >>>>>> > > >>>>>> -- > > >>>>>> 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. > > >>>>> > > >>>>> -- > > >>>>> 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. > > >>>> > > >>>> > > >>>> > > >>>> -- > > >>>> 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. > > > > > > -- > > > 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/CAOf4PqgnTDoB-%3DnDTPQULjDYRyr0m%2BCWR8CUoz3z9DB_oWEwKQ%40mail.gmail.com. > > > > > > > > -- > > http://sequiturquodlibet.googlepages.com/ > > > > -- > http://sequiturquodlibet.googlepages.com/ -- http://sequiturquodlibet.googlepages.com/ -- 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/CAO6j_Lj0jiOMZ0n4dCCDmMsuhNrkMZ8APf%3D-XVtZeTKfcZDTBw%40mail.gmail.com.