Gostaria de apontar aos colegas interessados no evento Brasil-Portugal que gravações das sessões de Lógica Matemática https://youtu.be/21yJeNFTI3g https://youtu.be/L7a3AeN_X1s e das sessões de Categorias https://youtu.be/-teuMLruz8Y https://youtu.be/9LidbAc_GzI já podem ser conferidas na sua telinha!
Abraços, Joao Marcos On Thu, Aug 11, 2022 at 4:30 PM 'Samuel Gomes da Silva' via LOGICA-L <logica-l@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 > <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/1614967870.1741939.1660246216221.JavaMail.zimbra%40ufba.br. -- 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_LjMtJesddE6GiivB0sP%3DA8A7oMN%2BotPVJrjjvYzr3zkFQ%40mail.gmail.com.
