Re: [EXTERNO] [Logica-l] Medalha de Ouro da .Olimpíada de Logica

Parabéns Rafael e Walter. Bonito Prêmio para nossa Lógica. Abrs, Mario Em seg., 2 de jun. de 2025 às 20:20, Rafael Ongaratto < ongarattor...@gmail.com> escreveu: > Muito obrigado pelas felicitações, pessoal! > > Um viva à lógica brasileira! > > Abraços, > > Rafael Ongaratto > > PhD student > Cent

Re: [Logica-l] Claus Akira Matsushigue (1965-2024)

Caros, Muito triste! Gostava muito do Klaus. Vai fazer muita falta. Meus sentimentos à família neste momento tão difícil. Abraços, Mario Em qua., 11 de dez. de 2024 às 08:51, Marcelo Esteban Coniglio < conig...@unicamp.br> escreveu: > Noticia tristíssima! Uma pessoa muito boa e um querido col

Re: [Logica-l] Melhor paper na Conferência KR2024

Parabéns Renata. Muito bom. Abraços, Mario Em qua., 6 de nov. de 2024 às 08:49, Marcelo Finger escreveu: > Parabéns a Renata Wassermann ganhou o prêmio de melhor artigo (Ray Reiter > Best Paper Award) na *International Conference on Principles of Knowledge > Representation and Reasoning.* > > []

Re: [Logica-l] Número especial SAJL Itala 80 anos

Querida Ítala. Parabéns!!! Muita saúde e muitos anos de inspiração para todos. Forte abraço, Mario Em qui., 18 de jul. de 2024 às 14:21, josé carlos cifuentes < jcc...@gmail.com> escreveu: > Prezada Ítala, nosso abraço fraterno de Blanca e meu pelo seu aniversário > tão especial. E muito bem me

[Logica-l] Defesa de tese de doutorado

Caros, Gostaria de convidá-los para a defesa *remota* da tese de doutorado do meu aluno Vitor Pereira Machado, na quinta dia 13/07 às 9:00 (horário de Brasília). Abraços, Mario Aluno: Vítor Pereira Machado Título: Temporal Logics for Diffusion Social Networks Resumo: This thesis introduces

[Logica-l] Fwd: A Verdadeira História do Duelo de Évariste Galois

-- Forwarded message - Date: qui., 15 de set. de 2022 às 19:59 Subject: A Verdadeira História do Duelo de Évariste Galois To: Professores im Espero que gostem: https://www.youtube.com/watch?v=MllKbhHJ73s Felipe Acker Professor Titular coordenador do curso de Matemática Aplicada

[Logica-l] Convite para submissão de artigo

Prezado(a), Obrigado por aceitar o convite para compor o Comitê de Programa (CP) do XXXV Concurso de Teses e Dissertações do Congresso da Sociedade Brasileira de Computação (CTD 2022). Como integrante do CP, nesse momento, gostaríamos de contar com o seu importante apoio na: i) divulgação ativa

[Logica-l] Fwd: Mathematicians solve an old geometry problem on equiangular lines

https://phys.org/news/2021-10-mathematicians-geometry-problem-equiangular-lines.html -- You received this message because you are subscribed to the Google Groups "IM - Lista Geral" group. To unsubscribe from this group and stop receiving emails from it, send an email to im+unsubscr...@im.ufrj.br

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Meu sentimentos ao Benjamín, ao Cláudio e a toda família nesse momento tão difícil. Abraços Mario Em qua., 7 de abr. de 2021 às 13:02, Joao Marcos escreveu: > O filho dele, Claudio Callejas, hoje professor da UFERSA, foi meu > (co-)orientando de mestrado, e é membro desta lista. O irmão, Benj

[Logica-l] Consulta

Olá pessoal, Uma prática que tenho visto constantemente, na nossa área, são pesquisadores que colocam uma versão preliminar no ArXiv e depois submetem para uma revista. Quando o artigo for aceito na revista isso não trará problema de copyright com a revista? Obrigado e um abraço, Mario -- Fed

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

Olá para todos, Tive a honra e o prazer de trabalhar com o Veloso e desfrutar de sua sabedoria. Aprendi muito de lógica e teoria da computação com ele. Tenho muitas lembranças do amigo e professor. Vai fazer muita falta. Todo meu carinho para Sheila, Paula e Flávia neste momento tão difícil. Abr

[Logica-l] Fwd: DaLi 2020

-- Forwarded message - De: DaLi 2020 Date: qui., 1 de out. de 2020 às 12:10 Subject: DaLi 2020 To: Mario Benevides Dear members of the PC, I would like to thank you, also on Manuel's behalf, for all your work on reviewing and discussing the submissions. Your help, and the help

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

Caros, Gostaria de dar meu total apoio a posição da Elaine e de outros. Este tipo de publicação é um desrespeito e um desserviço à Lógica Brasileira. Abraços, Mario Em qui., 17 de set. de 2020 às 12:57, valeria.depaiva < valeria.depa...@gmail.com> escreveu: > Excelente colocacoes, Elaine! >

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

Parabéns Hermann!!! Sua coragem e determinação nos inspiram. Forte abraço, Mario Em qua., 12 de ago. de 2020 às 10:35, Marcelo Finger escreveu: > > Olá Hermann. > > Eu admiro sinceramente a sua persistência. > > Acho que já mencionei a você que a forma de obter reconhecimento pelo seu > traba

Re: [Logica-l] sobre o "Lógicos em Quarentena"

🤗 Em seg., 20 de jul. de 2020 às 17:01, Elaine Pimentel < elaine.pimen...@gmail.com> escreveu: > Muito legal o blog, muito legal a homenagem, muito legal a iniciativa!!! > > On Mon, Jul 20, 2020 at 4:58 PM Marcelo Finger wrote: > >> 👏 >> >> Em seg., 20 de jul. de 2020 às 10:30, Joao Marc

[Logica-l] Workshop on Dynamic Logic: New Trends and Applications

=== 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020) 9-10 October 2020 Prague, Czech Republic or online http://www.cs.cas.cz/dali2020/ === Overview = Building on th

Re: [Logica-l] uma noticia boa!

Que bacana!!! Muito merecido. []s Mario Em sex., 13 de mar. de 2020 às 16:06, Valeria de Paiva < valeria.depa...@gmail.com> escreveu: > Dag Prawitz and Per Martin-Loef ganharam o premio Nobel da Filosofia, > parabens pra eles! > > > https://www.kva.se/en/pressrum/pressmeddelanden/schockprisen-bel

[Logica-l] Fwd: [DocPesq] Science funders gamble on grant lotteries

https://www.nature.com/articles/d41586-019-03572-7 -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario -- 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

Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica

Olá João, Eu ia mesmo sugerir o KR. Não acho ela marginal. Abraços, Mario KR: International Conference on Principles of Knowledge Representation > and Reasoning > > Devo incluí-lo, ou os colegas julgam que seria de interesse marginal > na área de Lógica? > > Joao Marcos > > -- > http://sequitu

[Logica-l] Fwd: DaLí 2019 (message to the PC) - deadline extended to June, 28

-- Forwarded message - De: Luís Soares Barbosa Date: seg, 10 de jun de 2019 às 13:29 Subject: DaLí 2019 (message to the PC) - deadline extended to June, 28 To: , Mario Roberto Folhadela Benevides < ma...@cos.ufrj.br>, , , Thomas Bolander , Guillaume Aucher , Zoé Christoff

[Logica-l] Fwd: DaLí 2019: message to the PC

- Dynamic Logic: New Trends and Applications workshop.dali.di.uminho.pt Call for Papers Porto, 9 October, 2019 (part of the 3rd World Congress on Formal Methods 2019) OVERVIE

Re: [Logica-l] G. Kreisel, "About Logic and Logicians", 2019

Muito Bacana!!! Parabéns Rodrigo, Alexandre, Edgar e Gustavo. Abraços Em qui, 11 de abr de 2019 às 22:54, Walter Carnielli < walter.carnie...@gmail.com> escreveu: > Colegas: > Gostaria de divulgar mais uma excelente publicação do grupo > LNA-Lógica no Avião. > > Trata-se livros distribuídos li

Re: [Logica-l] Seminário de Lógica Carioca - Guido Imaguire - Mario Benevides

Oá Pessoal, Peço desculpas por ter enviado uma mensagem pessoal para o Jean na lista. Abraços, Mario Em seg, 26 de nov de 2018 às 09:03, Mario Roberto Folhadela Benevides < ma...@cos.ufrj.br> escreveu: > Olá Jean, tudo bem? > > Só para confirmar com você. Vou chegar para a pa

Re: [Logica-l] Seminário de Lógica Carioca - Guido Imaguire - Mario Benevides

Olá Jean, tudo bem? Só para confirmar com você. Vou chegar para a palestra do Guido. Meu celular é 988958071. Onde vai ser? Outra coisa, tem um typo no título da palestra "Graphes => Graphs" Obrigado e até quarta. Mario Em dom, 25 de nov de 2018 às 21:51, jean-yves beziau escreveu: > Semin

[Logica-l] Nevanlinna Prize

Caros, A Nevanlinna Prize é uma medalha dada a cada quatro anos no ICM (International Congress of Mathematicians) para jovens de até 40 anos por contribuições de excelência em aspectos matemáticos da computação. É praticamente uma Medalha Fields para a Computação dada pela Matemática! Constantino

[Logica-l] Artigo

Caros, Alguém teria o artigo: H. Tuominen. Translations from epistemic into dynamic logic. In Yves Kodratoff, editor, ECAI-88: Proceedings of the 8th European conference on Artificial Intelligence, pages 586–588, 1988. Muito obrigado e um abraço, Mario -- Federal University of Rio de Janeiro

[Logica-l] Fwd: Concurso Prof. Adjunto (7 vagas)-Dep.Matemática-IM-UFRJ(Prazo inscrição: 06/02

Caros colegas, Estamos com um concurso aberto para preenchimento de 7 (sete) vagas de Professor Adjunto A, 40h DE, no Departamento de Matemática do Instituto de Matemática da UFRJ. Peço a gentileza de divulgarem a informação entre os potenciais candidatos. As inscrições já estão abertas e vão at