Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

77 views
Skip to first unread message

Samuel Gomes da Silva

unread,
Aug 11, 2022, 3:30:21 PM8/11/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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


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:


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


e de todos os modos os resumos de Lógica estão disponíveis no Drive abaixo:


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ã.


Valeria de Paiva

unread,
Aug 12, 2022, 4:22:43 PM8/12/22
to Samuel Gomes da Silva, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
>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.

Abracos,
Valeria


--
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.

Walter Carnielli

unread,
Aug 12, 2022, 7:46:41 PM8/12/22
to Valeria de Paiva, Samuel Gomes da Silva, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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 

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.

Itala Maria Loffredo D'Ottaviano

unread,
Aug 13, 2022, 11:02:29 PM8/13/22
to Walter Carnielli, Valeria de Paiva, Samuel Gomes da Silva, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Caras e caros:

Também não poderei participar do encontro, pois estarei coordenando o Fórum mencionado pelo Walter.
Bom encontro!

Itala

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. 

samuel

unread,
Aug 16, 2022, 6:14:00 PM8/16/22
to LOGICA-L, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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:


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


Convidamos todos os interessados a nos acompanhar !

Abraços

[]s  Samuel

samuel

unread,
Aug 16, 2022, 6:18:43 PM8/16/22
to LOGICA-L, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
... 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

Hugo Luiz Mariano

unread,
Aug 17, 2022, 10:12:18 AM8/17/22
to samuel, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Valeria de Paiva, Maria Manuel Clementino, José Siqueira, J.V. Paiva-Miranda-De-Siqueira
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

Joao Marcos

unread,
Aug 18, 2022, 10:04:36 AM8/18/22
to Hugo Luiz Mariano, samuel, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Valeria de Paiva, Maria Manuel Clementino, José Siqueira, J.V. Paiva-Miranda-De-Siqueira
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
> 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/

Joao Marcos

unread,
Aug 18, 2022, 1:13:17 PM8/18/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
A sessão de Lógica Matemática desta 5a está começando agora!
https://youtu.be/PES173uOO9w

JM
--
http://sequiturquodlibet.googlepages.com/

Joao Marcos

unread,
Aug 18, 2022, 1:16:14 PM8/18/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Novo link:
https://www.youtube.com/watch?v=21yJeNFTI3g

JM
--
http://sequiturquodlibet.googlepages.com/

Joao Marcos

unread,
Aug 28, 2022, 7:37:12 PM8/28/22
to Samuel Gomes da Silva, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
> --
> 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.



--
http://sequiturquodlibet.googlepages.com/
Reply all
Reply to author
Forward
0 new messages