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] Prêmio CAPES de tese 2022

['samuel' via LOGICA-L]

Caros,

Já dei os parabéns pelo twitter, mas bom registrar por aqui também.

Sen-sa-cio-nal

Parabéns a Evelyn, Daniel e Ole !

Abraços

[]s  Samuel

Em terça-feira, 16 de agosto de 2022 às 08:06:00 UTC-3, Anderson Nakano 
escreveu:

> Cara Evelyn, caro Daniel,
>
> Parabéns por essa conquista! Muitas outras certamente virão!
>
> Abraços,
>
> Anderson
>
> Em segunda-feira, 15 de agosto de 2022 às 16:51:55 UTC-3, evgomes escreveu:
>
>> Olá Daniel, olá Evelyn!
>>
>> Parabéns por esta tão importante e memorável conquista!
>>
>> Abs,
>> Evandro Gomes
>>
>>
>> On Fri, Aug 12, 2022 at 9:22 AM Elaine Pimentel  
>> wrote:
>>
>>> Que grande notícia 
>>>
>>> Parabéns, Evelyn! Parabéns Daniel! 
>>>
>>> Acho que é uma ótima ideia colocar na página da SBL os prêmios de teses 
>>> em Lógica. Tivemos há um tempo atrás a Giselle Secco. Quem tiver 
>>> informações de anos anteriores, por favor, nós envie a informação?
>>>
>>> Obrigada.
>>>
>>> Parabéns novamente, Evelyn!! Um super abraço!!
>>>
>>> Elaine.
>>>
>>> On Fri, Aug 12, 2022, 06:53 Joao Marcos  wrote:
>>>

 https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318

 O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn
 Erickson, orientada por Daniel Durante (e co-orientada por Ole
 Hjortland).

 A tese pode ser encontrada aqui:
 Rational theory revision in logic: beyond abductivism
 https://repositorio.ufrn.br/handle/123456789/44906?mode=full

 Parabéns aos envolvidos!
 Joao Marcos

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

 -- 
 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+u...@dimap.ufrn.br.
 Para ver esta discussão na web, acesse 
 https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljc8-i44y0QQLBGwJsdCNcqox9Dtzc6UYjUpU4k2s4wig%40mail.gmail.com
 .

>>> -- 
>>> 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+u...@dimap.ufrn.br.
>>>
>> Para ver essa discussão na Web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWW6%3DL_NzNZEDk5VSNisJLBdwReKy-Nvo%2BfHWhtej9ytQ%40mail.gmail.com
>>>  
>>> 
>>> .
>>>
>>

-- 
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/cfdebff3-6a62-4e0a-adcc-bfc7f7f6f7aen%40dimap.ufrn.br.

Re: [Logica-l] Prêmio CAPES de tese 2022

[Anderson Nakano]

Cara Evelyn, caro Daniel,

Parabéns por essa conquista! Muitas outras certamente virão!

Abraços,

Anderson

Em segunda-feira, 15 de agosto de 2022 às 16:51:55 UTC-3, evgomes escreveu:

> Olá Daniel, olá Evelyn!
>
> Parabéns por esta tão importante e memorável conquista!
>
> Abs,
> Evandro Gomes
>
>
> On Fri, Aug 12, 2022 at 9:22 AM Elaine Pimentel  
> wrote:
>
>> Que grande notícia 
>>
>> Parabéns, Evelyn! Parabéns Daniel! 
>>
>> Acho que é uma ótima ideia colocar na página da SBL os prêmios de teses 
>> em Lógica. Tivemos há um tempo atrás a Giselle Secco. Quem tiver 
>> informações de anos anteriores, por favor, nós envie a informação?
>>
>> Obrigada.
>>
>> Parabéns novamente, Evelyn!! Um super abraço!!
>>
>> Elaine.
>>
>> On Fri, Aug 12, 2022, 06:53 Joao Marcos  wrote:
>>
>>>
>>> https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318
>>>
>>> O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn
>>> Erickson, orientada por Daniel Durante (e co-orientada por Ole
>>> Hjortland).
>>>
>>> A tese pode ser encontrada aqui:
>>> Rational theory revision in logic: beyond abductivism
>>> https://repositorio.ufrn.br/handle/123456789/44906?mode=full
>>>
>>> Parabéns aos envolvidos!
>>> Joao Marcos
>>>
>>> -- 
>>> http://sequiturquodlibet.googlepages.com/
>>>
>>> -- 
>>> 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+u...@dimap.ufrn.br.
>>> Para ver esta discussão na web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljc8-i44y0QQLBGwJsdCNcqox9Dtzc6UYjUpU4k2s4wig%40mail.gmail.com
>>> .
>>>
>> -- 
>> 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+u...@dimap.ufrn.br.
>>
> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWW6%3DL_NzNZEDk5VSNisJLBdwReKy-Nvo%2BfHWhtej9ytQ%40mail.gmail.com
>>  
>> 
>> .
>>
>

-- 
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/1eddf072-3654-4b4a-8fb2-75eb2640d24an%40dimap.ufrn.br.