Re: [Logica-l] SLALM no Rio de Janeiro em 2025

2020-02-17 Por tôpico C. Mortari 

Caras e caros colegas,

espero que tenha tido todos ótimas férias. Vamos a mais um ano!

É uma ótima notícia saber que a proposta, endossada pela SBL, de 
realizar o SLALM 2025 no Brasil, em particular no Rio de Janeiro, foi 
aprovada.


Quanto às propostas de realizar os EBLs de 2023 (São Paulo) e 2025 (Rio, 
junto com o SLALM), certamente são bem-vindas. Sabendo da dificuldade de 
organizar eventos científicos no Brasil, ainda mais nos tempos que 
correm, quaisquer grupos que se proponham a realizar os eventos são 
merecedores de todo o nosso apoio. Devo apenas lembrar, no entanto, que 
a decisão sobre data e local dos Encontros Brasileiros de Lógica é de 
competência da Assembleia da SBL. Agradecemos e registramos as propostas 
(que, tenho certeza, serão muito bem acolhidas pelos associados) para 
incluí-las na pauta da próxima Assembleia, a ser realizada durante o EBL 
de Salvador, em 2021.


Abraços,

Cezar


-
Cezar A. Mortari
presidente
Sociedade Brasileira de Lógica (SBL)


Em 2020-02-16 22:04, jean-yves beziau escreveu:

No derradeiro congresso latino-americano de lógica matemática
(SLALM) que aconteceu em dezembro passado na cidade de Concepción no
Chile

http://slalmxviii.udec.cl/
fiz a proposta de organizar uma próxima edição do SLALM na cidade
do Rio de Janeiro.
A proposta foi recebida positivamente pelo comitê organizador do
SLALM.
A próxima edição do SLALM é prevista na Costa Rica em 2022, a
ideia sendo de fazer alternação entre América do Sul e América
Central.
O que foi combinado então foi de organizar o SLALM no Rio de Janeiro
em 2025, será a vigésima edição desta série de eventos.
A derradeira vez que o SLALM foi organizado no Brasil foi em 2008 em
Paraty, junto com o EBL
http://www.cle.unicamp.br/cle30-ebl-slalm/
Foi um evento muito importante com a presença em particular do
Raymond Smullyan e do Jaakko Hintitkka
https://sites.google.com/view/hintikka/1929-2015
A ideia é de organizar também esta vez o SLALM junto com o EBL.
Falei a respeito disso em Concepción com o Walter, a Juliana e o
Hugo.
O Hugo me falou que ele planejava organizar o EBL em São Paulo em
2023  depois da próxima edição prevista em Salvador em 2021.
A edição do EBL no Rio seria então a seguir, em 2025 (a única vez
que o EBL foi organizado na cidade do  Rio de Janeiro foi em 1984).
JYB



__

 --
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/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com
[1].


Links:
--
[1]
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com?utm_medium=email_source=footer


--
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/3a2623ff65ba6b874cf539d7210d1756%40cfh.ufsc.br.

Re: [Logica-l] Vídeos -VI Ciclo de Palestras Consciência e Cognição (UFPE) [

2020-02-17 Por tôpico Abílio 
Prezadxs,
Não conheço em particular as marcas mencionadas aqui. Mas vai uma sugestão.
Não adianta economizar com microfone. Na hora de comprar, vale a pena
considerar gastar um pouco mais.
O resultado compensa.
Abraços



Em seg, 17 de fev de 2020 15:14, Joao Marcos  escreveu:

> Walter:
>
> Os videos do nosso canal aqui da UFRN
>   (http://logic-ufrn.weebly.com/videos.html)
> foram gravados com um
>   microfone sem fio Lyco UHXPRO02 MHLI
> Acho que não ficaram maus.
>
> []s, Joao Marcos
>
>
> On Mon, Feb 17, 2020 at 12:16 PM Walter Carnielli <
> walter.carnie...@gmail.com> wrote:
>
>> Gostaria de parabenizar os organizadores e os palestrantes, e agradecer
>> pelos vídeos das palestras.
>>
>>
>> No entanto, tenho uma coisa a compartilhar com todos, que é um problema
>> que também me aflige:
>>
>> Por que nossos áudios são tão ruins ?Será que não teríamos que investir
>> em microfones especiais, que não pegam o meio ambiente,  evitam eco, e
>> coisas assim?
>>
>> Para dizer a verdade, no meio das gravações das palestras a gente acaba
>> cansando daquele som de "lata de biscoito", e é uma pena.
>>
>> Talvez  alguém que conheça bem esse tema pudesse dar uma ajuda (
>> inclusive para mim mesmo quando gravo  meus vídeos, ou quando temos colegas
>> participando de bancas por vídeo-conferência, o que é  cada vez naus
>> frequente).
>>
>> Abraços,
>> Walter
>>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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/CAO6j_LjhROz%2BX2TosKRuS1dkahbsJBDEUO2mKxWbPB6d58ZMPg%40mail.gmail.com
> 
> .
>

-- 
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/CALtFD21PvecUV%3D3MmXyG_%2BjAX653UrctzcgV2_zuE90kM%2BkEVg%40mail.gmail.com.

Re: [Logica-l] Vídeos -VI Ciclo de Palestras Consciência e Cognição (UFPE) [

2020-02-17 Por tôpico Joao Marcos 
Walter:

Os videos do nosso canal aqui da UFRN
  (http://logic-ufrn.weebly.com/videos.html)
foram gravados com um
  microfone sem fio Lyco UHXPRO02 MHLI
Acho que não ficaram maus.

[]s, Joao Marcos


On Mon, Feb 17, 2020 at 12:16 PM Walter Carnielli <
walter.carnie...@gmail.com> wrote:

> Gostaria de parabenizar os organizadores e os palestrantes, e agradecer
> pelos vídeos das palestras.
>
>
> No entanto, tenho uma coisa a compartilhar com todos, que é um problema
> que também me aflige:
>
> Por que nossos áudios são tão ruins ?Será que não teríamos que investir em
> microfones especiais, que não pegam o meio ambiente,  evitam eco, e coisas
> assim?
>
> Para dizer a verdade, no meio das gravações das palestras a gente acaba
> cansando daquele som de "lata de biscoito", e é uma pena.
>
> Talvez  alguém que conheça bem esse tema pudesse dar uma ajuda ( inclusive
> para mim mesmo quando gravo  meus vídeos, ou quando temos colegas
> participando de bancas por vídeo-conferência, o que é  cada vez naus
> frequente).
>
> Abraços,
> Walter
>

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

-- 
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_LjhROz%2BX2TosKRuS1dkahbsJBDEUO2mKxWbPB6d58ZMPg%40mail.gmail.com.

Re: [Logica-l] Vídeos -VI Ciclo de Palestras Consciência e Cognição (UFPE) [

2020-02-17 Por tôpico Eduardo Ochs 
Oi Walter,

acho que em geral a melhor solução é usar um microfone Lavalier - uma
vez eu dei uma palestra no IMPA, me gravaram com um desses e o
resultado ficou fantástico...

https://en.wikipedia.org/wiki/Lavalier_microphone
https://www.zoom-na.com/products/field-video-recording/field-recording/zoom-f1-field-recorderlavalier-mic

Eu comprei um gravador bom - comprei da Zoom mesmo, seguindo dicas de
um amigo que tem um estúdio de áudio - nesse pacote aqui, que inclui
um microfone direcional:

https://www.thomann.de/gb/zoom_f1_sp.htm

mas eu quase só tenho usado ele pra gravar screencasts em casa, e
achei que pra isso o resultado acaba ficando um pouco pior do que a
gravação com Lavalier.

  [[]],
Eduardo

On Mon, 17 Feb 2020 at 12:16, Walter Carnielli 
wrote:

> Gostaria de parabenizar os organizadores e os palestrantes, e agradecer
> pelos vídeos das palestras.
>
>
> No entanto, tenho uma coisa a compartilhar com todos, que é um problema
> que também me aflige:
>
> Por que nossos áudios são tão ruins ?Será que não teríamos que investir em
> microfones especiais, que não pegam o meio ambiente,  evitam eco, e coisas
> assim?
>
> Para dizer a verdade, no meio das gravações das palestras a gente acaba
> cansando daquele som de "lata de biscoito", e é uma pena.
>
> Talvez  alguém que conheça bem esse tema pudesse dar uma ajuda ( inclusive
> para mim mesmo quando gravo  meus vídeos, ou quando temos colegas
> participando de bancas por vídeo-conferência, o que é  cada vez naus
> frequente).
>
> Abraços,
> Walter
>

-- 
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/CADs%2B%2B6hDFQy9B34m8yD5JQPJ8Dn3sszkvcpxSrKYeF7o0CeMtA%40mail.gmail.com.

[Logica-l] Vídeos -VI Ciclo de Palestras Consciência e Cognição (UFPE) [

2020-02-17 Por tôpico Walter Carnielli 
Gostaria de parabenizar os organizadores e os palestrantes, e agradecer
pelos vídeos das palestras.


No entanto, tenho uma coisa a compartilhar com todos, que é um problema que
também me aflige:

Por que nossos áudios são tão ruins ?Será que não teríamos que investir em
microfones especiais, que não pegam o meio ambiente,  evitam eco, e coisas
assim?

Para dizer a verdade, no meio das gravações das palestras a gente acaba
cansando daquele som de "lata de biscoito", e é uma pena.

Talvez  alguém que conheça bem esse tema pudesse dar uma ajuda ( inclusive
para mim mesmo quando gravo  meus vídeos, ou quando temos colegas
participando de bancas por vídeo-conferência, o que é  cada vez naus
frequente).

Abraços,
Walter

> logica-l@dimap.ufrn.br
> 
>  Grupos
> do Google
> 
> 
> Resumo por e-mail dos temas
> Ver todos os temas
> 
>
>- Vídeos das palestras do VI Ciclo de Palestras Consciência e Cognição
>(UFPE) [09-11/09] <#m_1074526136833135233_group_thread_0> - 1
>atualização
>- SLALM no Rio de Janeiro em 2025
><#m_1074526136833135233_group_thread_1> - 1 atualização
>
> Vídeos das palestras do VI Ciclo de Palestras Consciência e Cognição
> (UFPE) [09-11/09]
> 
> Hugo Mota : Feb 16 05:54PM -0800
>
> Estão disponíveis no canal do youtube da SBFA os vídeos das palestras
> proferidas
> pelos prof. Dr. Fernando Raul (UFPE), prof. Dr. João Marcos (UFRN) e prof.
> Dr. Luiz Carlos Pereira (PUC-Rio/UERJ/CNPq).
> O evento
> <
> https://conscienciaecognicaoufpe.wordpress.com/vi-ciclo-de-palestras-consciencia-e-cognicao/>
>
> ocorreu em Recife nos dias 9 a 11 de outubro de 2019, organizado pelo
> prof.
> Marcos Silva (UFPE/CNPq).
>
> Link para o nosso site:
>
> https://conscienciaecognicaoufpe.wordpress.com/2020/02/16/videos-do-vi-ciclo-de-palestras-consciencia-e-cognicao/
>
> Link para a playlist no youtube:
> https://www.youtube.com/playlist?list=PLtdDe7aEKBQifI1qKOwRPDukQB6Lb8rlw
>
> Por que Frege usou a palavra *Bedeutung* em seu artigo *Sinn und
> Bedeutung*?
> - Prof. Dr. Fernando Raul (UFPE) 
> Não receeis o desconhecido! Uma análise da consequência lógica através das
> atitudes cognitivas - Prof. Dr. João Marcos (UFRN/CNPq)
> 
>
> O Ecumenismo como uma nova abordagem para lógicas rivais - Prof. Dr. Luiz
> Carlos Pereira (PUC-Rio/UERJ/CNPq) 
>
> Agradecemos aos professores João Marcos e Luiz Carlos por terem visitado
> nosso grupo de pesquisas
> e agradecemos à SBFA pelo apoio na organização e divulgação do evento.
> Voltar ao início <#m_1074526136833135233_digest_top>
> SLALM no Rio de Janeiro em 2025
> 
> jean-yves beziau : Feb 17 02:04AM +0100
>
> No derradeiro congresso latino-americano de lógica matemática (SLALM) que
> aconteceu em dezembro passado na cidade de Concepción no Chile
> http://slalmxviii.udec.cl/
> fiz a proposta de organizar uma próxima edição do SLALM na cidade do Rio de
> Janeiro.
> A proposta foi recebida positivamente pelo comitê organizador do SLALM.
> A próxima edição do SLALM é prevista na Costa Rica em 2022, a ideia sendo
> de fazer alternação entre América do Sul e América Central.
> O que foi combinado então foi de organizar o SLALM no Rio de Janeiro em
> 2025, será a vigésima edição desta série de eventos.
> A derradeira vez que o SLALM foi organizado no Brasil foi em 2008 em
> Paraty, junto com o EBL
> http://www.cle.unicamp.br/cle30-ebl-slalm/
> Foi um evento muito importante com a presença em particular do Raymond
> Smullyan e do Jaakko Hintitkka
> https://sites.google.com/view/hintikka/1929-2015
> A ideia é de organizar também esta vez o SLALM junto com o EBL.
> Falei a respeito disso em Concepción com o Walter, a Juliana e o Hugo.
> O Hugo me falou que ele planejava organizar o EBL em São Paulo em 2023
> depois da próxima edição prevista em Salvador em 2021.
> A edição do EBL no Rio seria então a seguir, em 2025 (a única vez que o EBL
> foi organizado na cidade do Rio de Janeiro foi em 1984).
> JYB
> Voltar ao início <#m_1074526136833135233_digest_top>
> Você recebeu esse resumo porque está inscrito para receber atualizações
> deste grupo. Você pode alterar suas configurações na página de associação
> do grupo
> 
> .
> Para cancelar sua inscrição neste grupo e deixar de receber

[Logica-l] Fwd: Concurso Professor Adjunto UERJ

2020-02-17 Por tôpico Bruno Lopes 



===
O Departamento de Engenharia de Sistemas e Computação da Universidade do 
Estado do Rio de Janeiro (UERJ) realizará concursos para professores

Adjuntos nas seguintes áreas: Arquitetura de Sistemas de Computação (duas
vagas), Linguagens de Programação (duas vagas) e Lógica e Semântica de
Programas (uma vaga).

Inscrições de 27.02.2020 até 27.03.2020

Local: UERJ, Faculdade de Engenharia, Rua São Francisco Xavier, 524, sala
5002, bloco B, Pavilhão João Lyra Filho, Maracanã, Rio de Janeiro, RJ.

Telefone: 0xx-21-2334-0536.

Edital e mais informações em: http://srh.uerj.br/docente/saida.asp

Atenciosamente,
Cristiana Bentes

--
Bruno Lopes
http://www.ic.uff.br/~bruno

--
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/480c8efa-495a-bb84-ea1f-fef2804046d5%40gmail.com.