Re: [Logica-l] SLALM no Rio de Janeiro em 2025
Caro Cezar e colegas, Obrigado pela mensagem. Vamos conversar com os colegas lógicos da USP (Computação, Filosofia e Matemática) e, caso se concretize uma proposta de realizar o EBL na cidade de São Paulo em 2023, a apresentaremos ao escrutinio da assembleia da SBL no ano que vem, em Salvador. Abraços, Hugo Em 18/02/2020, C. Mortari escreveu: > Caro Hugo, caras e caros colegas, > > muito obrigado pela mensagem. Peço desculpas caso não tenha ficado > claro, mas não há de modo algum objeções à realização do EBL 2023 em São > Paulo, ou EBL/SLALM em 2025 no Rio. Como eu disse, as sugestões são > muito bem-vindas e espero que o entusiasmo que você mencionou realmente > resulte em uma proposta a ser discutida em Salvador. De fato, o último > (e único) EBL realizado na cidade de São Paulo foi em 1988; e no Rio, em > 1984. Já faz mesmo bastante tempo! > > Grande abraço, > > Cezar > > > > Em 2020-02-18 07:36, Hugo Luiz Mariano escreveu: >> Caros colegas e em especial ao prof Cezar Mortari, >> >> >> Gostaria de explicar um pouco o contexto de algumas conversas >> informais que originaram o tema desta sequencia de emails e, desde >> já, pedir desculpas por qualquer eventual mal-entendido. >> >> >> Em conversa informal ocorrida durante algum cofffe-break no SLALM em >> dezembro passado, entre quase todos os "brasileiros" presentes no >> evento: Juliana, Walter, Jean-Yves e eu (a Elaine Pimentel, que fechou >> o evento como invited speaker,não estava neste momento), conversamos >> (informalmente) sobre a possibilidade de, no futuro, trazer novamente >> o SLALM para o Brasil, possíveis datas (2022 ja estaria acertado >> ocorrer na Costa Rica), etc. >> Neste momento comentei que, também em conversa informal, agora >> ocorrida na espera do voo de João Pessoa a São Paulo, esta ocorrida em >> maio de 2019, ao final do EBL, os "paulistas" presentes: Renata >> Wassermann, Julio Stern e eu,matamos o tempo divagando sobre a >> possibilidade de uma candidatura para trazer o EBL para a cidade de >> São Paulo em 2023 (alguem mencionou que isto tinha ocorrido uma vez, >> ha uns 30 anos). E ficamos de conversar mais seriamente sobre isto no >> futuro, agregando outros colegas da USP, principalmente da Faculdade >> de Filosofia, para vermos se o entusiasmos de momento se cristalizaria >> em uma proposta adequada a ser submetida ao crivo comparativo dos >> colegas em sessão da SBL, em Salvador 2021. >> >> >> Abraços, >> Hugo >> >> >> >> Em 17/02/2020, C. Mortari escreveu: >>> 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
Re: [Logica-l] SLALM no Rio de Janeiro em 2025
Caro Hugo, caras e caros colegas, muito obrigado pela mensagem. Peço desculpas caso não tenha ficado claro, mas não há de modo algum objeções à realização do EBL 2023 em São Paulo, ou EBL/SLALM em 2025 no Rio. Como eu disse, as sugestões são muito bem-vindas e espero que o entusiasmo que você mencionou realmente resulte em uma proposta a ser discutida em Salvador. De fato, o último (e único) EBL realizado na cidade de São Paulo foi em 1988; e no Rio, em 1984. Já faz mesmo bastante tempo! Grande abraço, Cezar Em 2020-02-18 07:36, Hugo Luiz Mariano escreveu: Caros colegas e em especial ao prof Cezar Mortari, Gostaria de explicar um pouco o contexto de algumas conversas informais que originaram o tema desta sequencia de emails e, desde já, pedir desculpas por qualquer eventual mal-entendido. Em conversa informal ocorrida durante algum cofffe-break no SLALM em dezembro passado, entre quase todos os "brasileiros" presentes no evento: Juliana, Walter, Jean-Yves e eu (a Elaine Pimentel, que fechou o evento como invited speaker,não estava neste momento), conversamos (informalmente) sobre a possibilidade de, no futuro, trazer novamente o SLALM para o Brasil, possíveis datas (2022 ja estaria acertado ocorrer na Costa Rica), etc. Neste momento comentei que, também em conversa informal, agora ocorrida na espera do voo de João Pessoa a São Paulo, esta ocorrida em maio de 2019, ao final do EBL, os "paulistas" presentes: Renata Wassermann, Julio Stern e eu,matamos o tempo divagando sobre a possibilidade de uma candidatura para trazer o EBL para a cidade de São Paulo em 2023 (alguem mencionou que isto tinha ocorrido uma vez, ha uns 30 anos). E ficamos de conversar mais seriamente sobre isto no futuro, agregando outros colegas da USP, principalmente da Faculdade de Filosofia, para vermos se o entusiasmos de momento se cristalizaria em uma proposta adequada a ser submetida ao crivo comparativo dos colegas em sessão da SBL, em Salvador 2021. Abraços, Hugo Em 17/02/2020, C. Mortari escreveu: 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&utm_source=footer -- Você está recebendo esta mensagem porque se inscr
Re: [Logica-l] SLALM no Rio de Janeiro em 2025
Caros colegas e em especial ao prof Cezar Mortari, Gostaria de explicar um pouco o contexto de algumas conversas informais que originaram o tema desta sequencia de emails e, desde já, pedir desculpas por qualquer eventual mal-entendido. Em conversa informal ocorrida durante algum cofffe-break no SLALM em dezembro passado, entre quase todos os "brasileiros" presentes no evento: Juliana, Walter, Jean-Yves e eu (a Elaine Pimentel, que fechou o evento como invited speaker,não estava neste momento), conversamos (informalmente) sobre a possibilidade de, no futuro, trazer novamente o SLALM para o Brasil, possíveis datas (2022 ja estaria acertado ocorrer na Costa Rica), etc. Neste momento comentei que, também em conversa informal, agora ocorrida na espera do voo de João Pessoa a São Paulo, esta ocorrida em maio de 2019, ao final do EBL, os "paulistas" presentes: Renata Wassermann, Julio Stern e eu,matamos o tempo divagando sobre a possibilidade de uma candidatura para trazer o EBL para a cidade de São Paulo em 2023 (alguem mencionou que isto tinha ocorrido uma vez, ha uns 30 anos). E fiicamos de conversar mais seriamente sobre isto no futuro, agregando outros colegas da USP, principalmente da Faculdade de Filosofia, para vermos se o entusiasmos de momento se cristalizaria em uma proposta adequada a ser submetida ao crivo comparativo dos colegas em sessão da SBL, em Salvador 2021. Abraços, Hugo Em 17/02/2020, C. Mortari escreveu: > 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&utm_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. > -- Você está recebendo esta mensagem porque se inscreveu no gru
Re: [Logica-l] SLALM no Rio de Janeiro em 2025
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&utm_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.
[Logica-l] SLALM no Rio de Janeiro em 2025
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ê 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/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com.
