Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Joao Marcos]

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
 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:15Má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:00Hugo 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 
> 
> ---
> 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.



-- 

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Joao Marcos]

Novo link:
https://www.youtube.com/watch?v=21yJeNFTI3g

JM

On Thu, Aug 18, 2022 at 2:12 PM Joao Marcos  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  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  
> > 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 
> > >  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 
> >   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 
> > >  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  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 

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Joao Marcos]

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

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Joao Marcos]

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

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Hugo Luiz Mariano]

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

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

['samuel' via LOGICA-L]

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

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

['samuel' via LOGICA-L]

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

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Itala Maria Loffredo D'Ottaviano]

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 
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.depa...@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 <
>> 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:15Má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:00Hugo 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
>>>
>>> 

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Walter Carnielli]

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.depa...@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 <
> 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:15Má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:00Hugo 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 

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Valeria de Paiva]

>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 <
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:15Má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:00Hugo 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 
> ---
> 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] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

['Samuel Gomes da Silva' via LOGICA-L]

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 

--- 
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/1614967870.1741939.1660246216221.JavaMail.zimbra%40ufba.br.