Re: [Logica-l] Fwd: Gilles Dowek

Estamos todos muito tristes com essa noticia horrivel da morte de Gilles Dowek. Minhas condolencias aa familia e todos os amigos, alunos, e colaboradores! Apesar de nossa amizade e colaboracao de muitos anos, eu nao sabia de metade das coisas boas que Gilles fez. Vai em paz, Gilles! On Fri, Jul 25

Re: [Logica-l] Researchers seek to influence peer review with hidden AI prompts

oi Adolfo, Nao vejo o problema. Submissao ao arxiv e' sempre feita antes da submissao formal a uma conferencia/journal. em muitos casos, o arquivo usado pela revista/conferencia e' o do arxiv. nao faria sentido esconder o promp depois da submissao ao arxiv. abs Valeria On Wed, Jul 9, 2025 at 5:42 

[Logica-l] CICM 2025 deadline extension

Deadline Extension: 18th Conference on Intelligent Computer Mathematics October 6 – 11, 2025 in Brasilia, Brazil. Abstract submission deadline May 5, 2025 Full Paper submission deadline May 12, 2025 https://cicm-conference.org/2025/cicm.php -- Valeria de Paiva http://vcvpaiva.github.io/ https

[Logica-l] Mathematics Genealogy Project MGP

banco de dados deles e seria bem legal se mais alunos colocassem seus orientadores! abraços, Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica

Re: [Logica-l] Versão definitiva do cartaz do EBL, disponível para download

>O mérito artístico do cartaz e de toda a identidade visual do EBL foram, novamente, por conta do colega Marlo Souza ! Obrigada ao Marlo Souza entao! Bonitaço o poster! Abraços lógicos, Valeria On Tue, Apr 22, 2025 at 4:12 AM 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> wrote:

Re: [Logica-l] Re: novo periódico (diamond access) da área de Lógica

!! Vamos fazer uma conferencia pra comemorar no ano que vem? abracos, Valeria On Wed, Apr 9, 2025 at 11:53 AM Valeria de Paiva wrote: > oi Samuel, > a carta de resignacao veio pra mim junto com o anuncio do novo journal > (MLQ->ZML) na categories mailing list, cortesia do Steve Awode

Re: [Logica-l] Re: novo periódico (diamond access) da área de Lógica

oi Samuel, a carta de resignacao veio pra mim junto com o anuncio do novo journal (MLQ->ZML) na categories mailing list, cortesia do Steve Awodey na segunda-feira mesmo. a carta tb esta' na pagina da nova revista https://zml.international/index bem a vista. excelente noticia, me parece. abs Valeria

[Logica-l] Logica na Suecia

LeFanu Lumsdaine (p.l.lumsda...@math.su.se) if you have any questions about the position or the logic group, besides the departmental/administrative contacts named in the listing. -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista

Re: [Logica-l] David Miller (19 August 1942 – 20 November 2024)

Joao Marcos, obrigada por avisar. Bem triste isso da gente nao ficar nem sabendo que aconteceu. abracos Valeria On Tue, Mar 4, 2025 at 12:38 PM Joao Marcos wrote: > Conversando com um colega sobre Popper estes dias, dei-me conta de que > esta notícia final sobre o querido David Miller, que tanta

Re: [Logica-l] Fwd: Krister Segerberg (1936-2025)

Muito triste mesmo Joao Marcos! obrigada por avisar! Valeria On Thu, Feb 6, 2025 at 7:17 AM Joao Marcos wrote: > Uma notícia muito triste mesmo. Krister era uma pessoa muito querida, e > fez um trabalho excepcional em lógica abstrata. > > JM > > > -- Forwarded message - > Kriste

Re: [Logica-l] Zoe Chatzidakis

Notícia bem triste, Samuel! On Fri, Jan 24, 2025 at 2:24 PM 'samuel' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > Caros > > Más notícias, Zoe morreu ontem. > > https://www.fields.utoronto.ca/news/Memoriam-Dr-Zo%C3%A9-Chatzidakis > > Abraços > > []s Samuel > > -- > LOGICA-L > Lista acadêmica b

Re: [Logica-l] [OFF] the well-succeeded GPT philosopher

Obrigada JM por ler o `dailynous' pra gente! muito interessante esse blog post! Boas Festas a todos, Valeria On Wed, Dec 18, 2024 at 10:45 AM Joao Marcos wrote: > “Gpt could easily get a PhD on any philosophical topic” > > https://dailynous.com/2024/12/18/gpt-could-easily-get-a-phd-on-any-philo

[Logica-l] CICM 2024 Call for Papers

computer algebra * mathematical knowledge management * digital mathematical libraries The program committee is chaired by Valeria de Paiva, Berkeley, and Peter Koepke, Bonn. *** Formal Paper Submissions *** Formal submissions in one of the following categories will be reviewed rigorously

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

Puxa! que noticia triste, Samuel! muito carinho para a familia e amigos! Valeria On Tue, Dec 10, 2024 at 7:13 PM Joao Marcos wrote: > O querido Claus passa para a turma da saudade... > https://photos.app.goo.gl/JW3WDHsdDD2x2rZv8 > > Tristíssima notícia! > João Marcos > > > On Tue, Dec 10, 2024,

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

Super Parabéns, Renata! Muito legal! bjs, Valeria On Wed, Nov 6, 2024 at 5:42 AM Elaine Pimentel wrote: > Fantástico Renata! > > Parabéns!!! > > Beijos, > > Elaine > > On Wed, Nov 6, 2024, 12:49 Marcelo Finger wrote: > >> Parabéns a Renata Wassermann ganhou o prêmio de melhor artigo (Ray Reite

[Logica-l] Compositionality

accepting new submissions at https://compositionality.episciences.org/submit. We welcome high-quality papers in compositional ideas, most notably of category-theoretical origin. Best regards, Jade, @Elena Di Lavore , and @Mario Román (the *Compositionality* executive board) -- Valeria de Paiva

Re: [Logica-l] Projeto de Extensão SOL - Seminários de Orientação extra-Lógica

Parabens pra gang do SOL! muito boa sorte com o projeto, que me parece muito bom! Valeria On Fri, Sep 13, 2024 at 5:54 AM Mahan Vaz Silva wrote: > Olá, pessoal da Logica-l! > > Em março deste ano, realizamos o 1º Seminários de Orientação extra-Lógica. > E, agora, temos o prazer de compartilhar q

[Logica-l] Open Access Math journals

/diamond-open-a ccess-stimulus-fund/ <https://t.co/q0evWGwF6W> Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebend

Re: [Logica-l] Prêmio SLALM -- Profa. Ítala D'Ottaviano

Parabens a Itala e a todos os envolvidos no SLALM e no premio! Obrigada pela descricao e fotos, Elaine! abracos logicos, Valeria On Sun, Jul 21, 2024 at 10:27 PM Walter Carnielli wrote: > Meus parabéns à Itala, e à SBL pela iniciativa! > > Abraços, > > Walter > > Em dom., 21 de jul. de

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

Parabens, Itala! tudo de bom nesse novo ciclo e muita luta boa e inspiradora! abs, Valeria On Thu, Jul 18, 2024 at 4:24 AM Vinícius Litvinoff Justus < v245...@dac.unicamp.br> wrote: > Parabéns, Itala! É uma homenagem muito merecida. Seu trabalho é inspirador. > > Atenciosamente, > Vinícius. > > E

Re: [Logica-l] Doação à Biblioteca USP - Teoria das Categorias (de Marta Bunge, 1938-2022)

CA-L < > logica-l@dimap.ufrn.br> escreveu: > >> Parabéns aos colegas Valeria de Paiva e Hugo Mariano pela iniciativa ! >> >> >> https://jornal.usp.br/universidade/usp-recebe-doacao-de-biblioteca-especia

Re: [Logica-l] Fwd: livros de Marta Bunge na USP!

inha sido publicada) > e pelo empenho em trazer os livros da Profa Marta Bunge no IME-USP! > > Esperamos aqui poder honrar a memória dela, fazendo bom uso de sua ótima > coleção . > > Forte abraço > Hugo > > > Em qua., 22 de mai. de 2024 às 19:57, Valeria de Paiva

[Logica-l] livros de Marta Bunge na USP!

https://www.ime.usp.br/en/professor-marta-bunges- personal-library-is-donated-to-the-ime-usp-library/ -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica

[Logica-l] Fwd: livros de Marta Bunge na USP!

Passando a informacao! abs Valeria -- Forwarded message - From: Valeria de Paiva Date: Wed, May 22, 2024 at 10:48 AM Subject: livros de Marta Bunge na USP! To: Teoria das Categorias Brasil < teoria-das-categorias-bra...@googlegroups.com> https://www.ime.usp.br/en/pro

Re: [Logica-l] a maioridade / maturidade da LOGICA-L

Parabens Joao Marcos! a lista ja' esta "de maior"! abracos logicos! Valeria On Thu, Mar 28, 2024 at 7:18 PM O Administrador da LOGICA-L < logica-l-ow...@dimap.ufrn.br> wrote: > PessoALL: > > Esta semana a LOGICA-L, > "uma lista direcionada aos profissionais e estudantes >de LÓGICA de todo

[Logica-l] Fwd: [BLC] Conference announcement: 120 Years of Choice

-- Forwarded message - From: Paul Shafer Date: Fri, Mar 22, 2024 at 6:20 AM Subject: [BLC] Conference announcement: 120 Years of Choice To: 'Jonathan Kirby (MTH - Staff)' via British Logic Colloquium < blc-lo...@googlegroups.com> Dear all, Please see the following announcement f

Re: [Logica-l] Re: on math as art, math as language, and math as abstract thought

oi Joao Marcos, que bom que voce gostou! de toda forma PARABENS pra Evelyn, Joao Mendes e Mahan pela grande ideia de organizar o SOL! https://sologica.weebly.com/ Todos nos precisamos aprender como fazer melhor nossas pesquisas, nao e? abracos, Valeria On Sun, Mar 17, 2024 at 4:46 AM Joao Marco

[Logica-l] Fwd: SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024)

ate-colloquium-luise-puhlmann-university-of-bonn -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque s

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

e a ele que eu havia escolhido a carreira de matemático, em parte como > consequência das aulas dele e da irmã-- > ele me abraçou profusamente e me disse "plantamos nossa semente" :-) > > Me sinto feliz em ter plantado as minhas, inclusive nesse grupo ! > > Abraços,

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

Alo Walter, Eu fiquei bem interessada nessa parte da sua resposta ao Joao Marcos: >A Professora Ausenda Fratini, uma espécie de Emmy Noether nacional (até bem parecida), adorava mostrar demonstrações simples em geometria, à la Euclides. O que mais vc sabe dizer sobre a professora Ausenda Fratin

Re: [Logica-l] Códigos de ética e conduta em sociedades científicas

Caro Walter, A ideia e' termos os códigos bem claros, como a AMS e a ASL (não exatamente as organizações mais politicamente corretas que conhecemos) os têm, para que as pessoas que forem desrespeitadas possam ter uma maneira clara e imediata de reclamar. Sanções são claramente importantes, mas esp

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

Oi João Marcos, obrigada por levantar a bola para esse assunto interessantíssimo! e muito obrigada Alexandre por falar do meu trabalho com a Katerina e o Dick >A Valeria tem um trabalho inspirado no framework do PARC, https://aclanthology.org/W19-3305/. Acho que tem demo online. Isso! Tem demo onl

[Logica-l] new interdisciplinary PhD program in CA

ees...@chapman.edu>) with any questions you may have. -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque

[Logica-l] academic publishing

/ Eu não sei se bibliotecas brasileiras podem assinar o documento que eles querem ou não, mas acho que seria bom se pudessem. E e' sempre bom saber que outras pessoas também estão tentando melhorar a situação. abraços, Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.inst

Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas

t; >> Para fundamentação de matemática, o que "pegou" é ZFC. >> >> Também observo que, a princípio, os resultados "independentes da >> Matemática" são aqueles mostrados "independentes de ZFC", então esse é >> outro critério que acaba contribuind

Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

oi Samuel, Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta. Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o básico. MAS com o abaixo não concordo não. >Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos os tabuleiros (e reciproc

Re: [Logica-l] Lógica em tempos de guerra --- para reflexão

> natureza política. > > Simples assim. > > Abraços. > > > > Em qua., 2 de ago. de 2023 16:01, Valeria de Paiva < > valeria.depa...@gmail.com> escreveu: > >> Caros colegas, >> >> Já eu discordo completamente da posição do Walter e de o

Re: [Logica-l] Lógica em tempos de guerra --- para reflexão

Caros colegas, Já eu discordo completamente da posição do Walter e de outros colegas. O boicote acadêmico, esportivo, cultural e econômico da Africa do Sul ajudou a derrubar o apartheid, ou assim me parece. O boicote da Elsevier ainda não surtiu os efeitos desejados, mas esta' causando considerá

Re: [Logica-l] Trends in Logic conference- Torun, 2023

Pois e', Marcos. Concordo plenamente com >Contudo, vale observar, com pesar, que, mesmo em um evento com uma visão, digamos, mais progressista e cuidadosa em suas escolhas, uma questão fundamental não aparece, a saber, a questao racial. precisamos melhorar muito! Divirta-se em Buenos Aires! Abraço

Re: [Logica-l] Trends in Logic conference- Torun,2023

anda com a divulgação de > resultados, vejo muitas discussões políticas e histórias pessoais. > Obviamente, não estou dizendo que isso não é importante e estou relatando > apenas a minha experiência... > > A orientação da Laiz foi uma pequena porta de entrada para tentar > contribuir

Re: [Logica-l] Trends in Logic conference- Torun,2023

Obrigada pelos links, Hermógenes! e pela "inside information". Eu acho que a gente precisa fazer uma página especial do Lógicas Brasileiras só com sugestões de como acabar com os MANELS. Não sei se adianta não, pois as reclamações que você mandou são de 2014 e 2015 na maior parte. Mas pode deixar

Re: [Logica-l] Trends in Logic conference- Torun,2023

Pois e', Gisele... Uma mulher e 11 homens 'e quase manel também, né? Nenhuma Invited Speaker e uma mulher no comitê de programa de 12. Acho que vamos ter que reclamar sim! abraços desanimados, Valeria On Thu, Jul 20, 2023 at 10:25 AM Gisele Secco wrote: > Oxalá os organizadores lembrem que esta

[Logica-l] CALCO/MFPS 2023 comeca na segunda-feira

CALCO Conference on Algebra and Coalgebra will happen next week in Bloomington, Indiana. The program is at https://coalg.org/calco-mfps-2023/ and attendance online is free, but requires registration. Register please to show everyone wants free conferences online. abracos, Valeria -- Valeria de

Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

oi Samuel, eu estou interessada em ouvir a palestra sim, por favor mande o canal! obrigada, Valeria On Mon, Jun 5, 2023 at 1:45 PM 'samuel' via LOGICA-L wrote: > Caros, > > Acredito que a palestra abaixo vá ser transmitida ao vivo, havendo > interessados eu > posso checar qual é o canal do YouTu

Re: [Logica-l] seminário EMAp

oi Alexandre, ficou gravado? eu gostaria muito de ver! obrigada, Valeria On Thu, Apr 20, 2023 at 8:17 AM Alexandre Rademaker wrote: > > https://emap.fgv.br/eventos/how-prove-it-lean > > > How To Prove It With Lean > > I will describe a project I have been working on for most of the last > year:

[Logica-l] Fwd: HPS&ST April newsletter

Para pessoas interessadas em história e filosofia da ciência. -- Forwarded message - From: Michael Matthews Date: Mon, Apr 10, 2023 at 6:00 AM Subject: HPS&ST April newsletter To: hpsst-list *Dear Colleague,* *The April HPS&ST Newsletter is available *HERE

[Logica-l] Fwd: Reminder: CfP special issue of AJL on Women in/and logic

-- Forwarded message - From: Sara L. Uckelman Date: Mon, Apr 3, 2023 at 3:32 AM Subject: Reminder: CfP special issue of AJL on Women in/and logic To: logic-supergr...@googlegroups.com CALL FOR PAPERS Special Issue of Australasian Journal of Logic on Women in/and Logic https://o

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

Gostei muito das consideracoes do Hermogenes. Muito obrigada, Hermogenes!!! obrigada pelo artigo em "É possível argumentar que *pagar para publicar* afeta mais negativamente a pesquisa em países emergentes d

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

oi Joao Marcos, Eu recomendo a palestra do Gabriel, exatamente porque ele se deu ao trabalho de verificar os preços. Não tem almoço grátis, mas tem almoço barato, e tem almoço de "steak em Paris". Pra publicar no LIPICs (o braco de publicações de Dagstuhl) custa 60 euros, uma diferença muito grand

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

allo-Orellano < aldofiga...@gmail.com> wrote: > Não estou entendendo. > Cada autor que tenha aceito um artigo vai ter que pagar para que ele seja > publicado? > > > > > El lun, 27 mar 2023 a la(s) 12:54, Valeria de Paiva ( > valeria.depa...@gmail.com) escribió: &g

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

Walter, Muito obrigada por escrever essa mensagem! e' um absurdo o que esses caras estão fazendo, transformando "open access publishing" numa cura pior do que a doença. A doença e' a publicação tradicional onde os editores adquirem os direitos sobre os artigos e autores não pagam pra publicar, mas

Re: [Logica-l] Theoretical Puppets

Super interessante, Eduardo! obrigada! Valeria On Sun, Mar 26, 2023 at 11:16 AM Eduardo Ochs wrote: > https://www.youtube.com/@theoreticalpuppets > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você recebeu essa mensagem porque está insc

Re: [Logica-l] 17 anos de LOGICA-L

Parabens, para o administrador e todos nos! saudacoes logicas, Valeria On Sat, Mar 25, 2023 at 10:02 AM O Administrador da LOGICA-L < logica-l+own...@dimap.ufrn.br> wrote: > Não queria deixar passar esta data em branco: > agradeço novamente a todos os (quase 700) membros desta lista, que fazem >

Re: [Logica-l] Numbers too big to imagine

JM they say: >*The author used ChatGPT to research trusted sources and calculate parts of this story.* *Update 21 March: The explanation of multiple infinities has been corrected to describe Cantor's proof about real vs natural numbers.* Mas chatGPT nao pesquisa "trusted sources" e eles nao corrig

Re: [Logica-l] Re: Uma consulta à comunidade: Ponto final

Joao Marcos (e todos colegas), obrigada pela mensagem! a gente tb podia tentar puxar uma subséries do IfColog do Gabbay, não? Na verdade ja' existe uma subsérie da College Publications pra livros texto em português, acho que a Cristina Sernadas e' a responsável. então seria (talvez?) fácil a gente

Re: [Logica-l] Uma consulta à comunidade: Ponto final

Walter e colegas, Eu estava tentando ficar fora dessa discussao, mas nao da'. Concordo plenamente com a Elaine e com essa ultima mensagem do Walter. Um exemplo construtivo: a comunidade de linguistica computational, consegue funcionar perfeitamente somente com publicacoes abertas e gratis tanto p

[Logica-l] Book club com a Eugenia Cheng?

open to everyone everywhere. Please spread the word! Note that the schedule may change as we go along, but the deadlines for each chapter will only become later, never earlier. -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGI

[Logica-l] Fwd: categories: CALCO 2023: First Call for Papers

, IRIF, Universit?? de Paris) * Sandra Kiefer (Max Planck Institute for Software Systems) * Peter Selinger (Dalhousie University) * Natasha Alechina (Utrecht University) * Sara Kalvala (University of Warwick) Chairs -- Paolo Baldan (University of Padua) Valeria de Paiva (Topos Institute, Berkeley

Re: [Logica-l] F. William Lawvere (February 9, 1937 – January 23, 2023)

obrigada por anunciar, Joao Marcos! muito triste com a noticia! abs, Valeria On Wed, Jan 25, 2023 at 3:14 AM Joao Marcos wrote: > https://ncatlab.org/nlab/show/William+Lawvere > > JM > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você r

Re: [Logica-l] Lista de mulheres mais buscadas na web brasileira

super obrigada Elaine e Walter, pela propaganda a favor! ;) tb obrigada Joao Marcos pelo link pra vida da Maria Firmina dos Reis, uma escritora de peso nesse nosso passado de mulheres "esquecidas"! --Valeria On Sat, Oct 29, 2022 at 10:14 AM Joao Marcos wrote: > Se alguém mais quiser saber algo

Re: [Logica-l] em um mundo sem terceiras opções...

Mais um ponto pra conversa de voces: >https://arxiv.org/abs/1904.09193Cantor-Bernstein implies Excluded Middle Pierre Pradic , Chad E. Brown We prove in construc

[Logica-l] Kripke

Com muito pesar transmito a ma' noticia de falecimento de Saul Kripke https://dailynous.com/2022/09/16/saul-kripke-1940-2022/ Meus sentimentos a familia e amigos. -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acad

Re: [Logica-l] Re: Per Martin-Löf: transcriptions

Realmente exceptional! Muito obrigada ao Ansten Klev e outros colegas por esse trabalho primoroso. e muito obrigada ao Bruno pela informacao. abs Valeria On Tue, Sep 6, 2022 at 3:50 AM Cassiano Terra Rodrigues < cassiano.te...@gmail.com> wrote: > Excepcional material, obrigado, Bruno, por divulg

[Logica-l] Fwd: categories: 2023 Joint Mathematical Meetings

Amigos, passando a informacao. grata, Valeria -- Forwarded message - From: John Baez Date: Thu, Aug 25, 2022 at 6:34 PM Subject: categories: 2023 Joint Mathematical Meetings To: The Joint Mathematical Meetings are the world's largest annual meeting of mathematicians. In 2023 t

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

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

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

Super Parabéns, Evelyn!!! e co-orientadores também! abracos, Valeria On Fri, Aug 12, 2022 at 9:34 AM Daniel Durante wrote: > Viva!! > > Obrigado colegas e Muitos parabéns para a Evelyn Que escreveu uma tese > belíssima e fez uma defesa impecável, das mais elogiadas pela banca que eu > já

[Logica-l] Fwd: HPS&ST July Newsletter

Pessoal, O cara que escreve essa newsletter pediu pra divulga'-la. Eu nao sei nada de filosofia da ciencia, mas acho as poucas coisas que leio na newsletter interessantes, entao fica a dica. abracos, Valeria -- Forwarded message - From: Michael Matthews Date: Thu, Jul 21, 2022 at

[Logica-l] programa do MFPS 2022 disponivel

Christine -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- 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" d

Re: [Logica-l] Dutilh Novaes Wins Lakatos Award

Parabéns para a Catarina mesmo!! eu sabia da Royal Netherlands Academy of Arts and Sciences, mas nao sabia do premio Lakatos! Fantastico Catarina!!! ficamos todos muito orgulhosos do seu trabalho!! []s, Valeria On Thu, May 19, 2022 at 8:21 AM Joao Marcos wrote: > E ainda tem mais! Catarina tamb

Re: [Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera

parabens Walter e Juliana! On Thu, Apr 28, 2022 at 7:16 PM Walter Carnielli wrote: > Colegas: > > Gostaríamos de compartilhar com vocês que nosso curso "Pensamento > Crítico, Lógica e Argumentação" (Coursera / Extecamp-Unicamp): > > https://www.coursera.org/learn/pensamento-critico-argument

Re: [Logica-l] 2^4 anos de LOGICA-L

Parabens Joao Marcos e todos nós pelos 16 aninhos da lista! Mas especialmente parabens Carol, pois se não fosse ela, acho que essa mensagem não existiria! abs lógicos, Valeria On Fri, Mar 25, 2022 at 5:16 AM Joao Marcos wrote: > Foi a primeira mensagem de sempre! > > Agradeço a todos pelo apoi

Re: [Logica-l] "On the missing diagrams in Category Theory"

Muito legal Eduardo! so' dei uma olhada rapida, mas me parece muito legal o projeto. so' acho que em vez de mandar ver um manuscrito de 60 paginas voce teria mais chances de feedback se fizesse 3 papers de 20 paginas. ou se fizesse uns blog posts de 2 paginas. porque um texto de 60 paginas requer

Re: [Logica-l] Logicas Brasileiras na LogicaMx

Cara Maria, Muitissimo obrigada pela chance extra que voce nos deu de apresentarmos as Logicas Brasileiras `a sua plateia! Adoramos o bate-papo e adoramos que foi tudo em nome da amizade e da colaboracao entre amigos! Assim 'fica tudo muito lindo! um grande abraco, Valeria ps eu nem perguntei pra

Re: [Logica-l] Anais do EBL 2019

Parabéns a todos, autores, editores e pareceristas! Uma noticia excelente mesmo! abracos Valeria On Mon, Jan 24, 2022 at 11:32 AM Petrucio Viana wrote: > Boa tarde! > > > É com grande prazer e orgulho que anunciamos a publicação do volume > especial do > > Journal of Applied Logics - IfCoLog Jou

Re: [Logica-l] o resultado das somas

So' fazendo coro a Itala e ao JM! Parabens Elaine!! On Tue, Jan 4, 2022 at 10:01 AM Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> wrote: > Parabéns, querida Elaine! > Belíssimo e valioso projeto! > Itala > > Em ter., 4 de jan. de 2022 às 14:45, Joao Marcos > escreveu: > >> https://ufrn.br

[Logica-l] Fwd: [PT] Nordic Logic Summer School 2022 (NLS 2022)

-- Forwarded message - From: Torben Braüner Date: Tue, Nov 30, 2021 at 12:40 PM Subject: [PT] Nordic Logic Summer School 2022 (NLS 2022) To: proofthe...@lists.bath.ac.uk Dear colleagues, I take the liberty to inform you about the Nordic Logic Summer School 2022 (NLS 2022), pl

Re: [Logica-l] Re: Renúncia na MAPE / CAPES

Faco minhas as palavras do Cassiano: >Meu apoio, minha solidariedade e especialmente minha *admiração* aos coordenadores e consultores que renunciaram. que tempos dificeis, minha gente!!! abracos, Valeria On Tue, Nov 30, 2021 at 3:19 AM Cassiano Terra Rodrigues < cassiano.te...@gmail.com> wrote

Re: [Logica-l] It is dark before dawn

Parabens pra Claudia!! a obrigada pela boa noticia Joao Marcos! On Tue, Nov 9, 2021 at 1:52 PM Joao Marcos wrote: > Alegra-me divulgar a informação de que Cláudia Nalon foi eleita membro > do board of trustees do CADE: > http://aarinc.org/Newsletters/136-2021-11.html > > Também nesta edição da A

Re: [Logica-l] Re: on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio

gt;>> https://doi.org/10.1007/s11229-019-02344-0 >>> https://rdcu.be/b5DuD >>> >>> 6. Arnon Avron, “Quasi-canonical Systems and Their Semantics” >>> https://doi.org/10.1007/s11229-018-02045-0 >>> https://rdcu.be/b5DuF >>> >>>

Re: [Logica-l] Valuation Tables for Minimal and Intuitionistic Propositional Calculus

oi Joao Marcos, eu discuti um pouquinho isso com a Andrea, e me parece que o filho dela Marko Loparic 'e a pessoa com quem voce deve conversar! quando eu conversei sobre isso com a Andrea, ela me disse que tinha ensinado os teoremas do Kleene tantas vezes que sabia as provas de cor e eu queria um

Re: [Logica-l] Andrea Loparic

Puxa Gisele, que noticia tao triste!!! Sem palavras pra tristeza que da' saber da perda da querida Andrea! meus sentimentos a familia e a nossa comunidade toda! Valeria On Mon, Oct 25, 2021 at 7:47 AM josé carlos cifuentes wrote: > Sem palavras, caros colegas. > Cifuentes > > > Em seg., 25 de ou

[Logica-l] Fwd: categories: Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline*

-- Forwarded message - From: Helle Hvid Hansen Date: Wed, Oct 13, 2021 at 6:10 PM Subject: categories: Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline* To: *** * Three PhD positions in

Re: [Logica-l] Book review, Catarina Dutilh Novaes, The dialogical roots of deduction

Parabens pra Catarina! muito legal! On Sun, Sep 12, 2021 at 5:01 PM Joao Marcos wrote: > Book review, Catarina Dutilh Novaes, The dialogical roots of deduction > by Joel David Hamkins > https://www.goodreads.com/review/show/4220208757 > > > JM > > -- > Você está recebendo esta mensagem porque se

Re: [Logica-l] Sucesso de público da lógica no Ensino Superior

obrigada pela boa noticia Cassiano! On Thu, Sep 9, 2021 at 5:05 AM Cassiano Terra Rodrigues < cassiano.te...@gmail.com> wrote: > > Bons dias, camaradas. > Em 2021, na Universidade de Sydney, Austrália, o curso introdutório de > lógica, do departamento de filosofia, teve 2.200 matrículas. > > http

[Logica-l] Fwd: [gdri-ll] CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022

Eles dizem que tem algumas bolsas pra alunos de paises em desenvolvimento, me parece. Li la'. "Through the CIMPA-CARMIN program the organizers wish to fund, with the support of the Labex Carmin, the CIMPA and CIRM, the participation of several young mathematicians based in a developing country to

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 4 atualizações em 2 temas

t; norte-americanos, cuja matemática decolou mesmo depois de vencer a >> guerra. >> >> A partir dos anos 1950 muitos matemáticos europeus e americanos >> estiveram por longos períodos na USP, como Laurent Schwartz e >> André Weil, sem mencionar muita gente no IMPA. S

Re: [Logica-l] Genesis da Matematica Moderna na America do Sul

t; https://www.unicamp.br/unicamp/ju/noticias/2018/08/10/nova-logica-e-filosofia-de-wvquine-no-brasil > > a respeito da nossa edição/tradução, "The Significance of the New > Logic” (editado e traduzido por Walter Carnielli, Frederique > Janssen-Lauret, e William Pickering, Cambridge U

[Logica-l] Genesis da Matematica Moderna na America do Sul

sabem de videos ou papers de historiadores da matematica brasileira mesmo. abs Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do G

Re: [Logica-l] Re: da origem dos termos matemáticos

Obrigada pela bola, Samuel! pois e', eu estou no momento super-interessada na ideia de usar teoria de categorias pra ajudar a organizar as sub-áreas da matematica em geral. Quem estiver interessado pode ver no nosso blog post Introducing the MathFoldr Project

[Logica-l] Fwd: The intersection of race and tech—join the conversation

Uma lista se seminarions interessantes sobre Tech and Race -- Forwarded message - From: Microsoft Research Date: Thu, Aug 5, 2021 at 9:08 AM Subject: The intersection of race and tech—join the conversation To: Having trouble viewing this email? | *View as a webpage*

[Logica-l] Fwd: blc Digest, Vol 125, Issue 1

Desculpas se essa mensagem ja' foi enviada. Foi um pedido dos alunos de logica da UFRN no nosso ultimo encontro sobre inclusividade, a existencia de mais encontros dedicados a alunos, especialmente dedicados aos alunos de graduacao. nao 'e o caso desse encontro, me parece, mas 'e o que tem pra hoje

Re: [Logica-l] Functional Interpretations

Pois e' Walter, a minha tese de doutorado fala justamente da Interpretacao Dialectica, faz uma versao categorica e usa a variante de J. Diller e Nahm pra mostrar como voltar pra logica intuicionista. A tese esta' em https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-213.pdf, a parte sobre Dialectica

Re: [Logica-l] Já conhecem este livro?

oi Cassiano, a palestra sobre a Christine_Ladd-Franklin talvez tenha sido a da Sara Uceklman, no Logic SuperGroup aqui https://www.youtube.com/watch?v=xJBqBnP2BUg Christine_Ladd-Franklin

Re: [Logica-l] tese da Carol Blasio em ingles?

tiva de que uma tradução do artigo que Carol > publicou na Manuscrito (Cap. 3 da tese) seja produzida pela Evelyn, de > forma inteiramente voluntária. > > Abraços, Joao Marcos > > On Wed, Jun 30, 2021 at 1:23 PM Valeria de Paiva > wrote: > > > > Gente, > > esta

[Logica-l] tese da Carol Blasio em ingles?

e. Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- 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, e

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

que excelente ideia, Regivan!! ficou lindo mesmo!!! Carol, sempre ajudando. Valeria On Tue, Jun 29, 2021 at 8:33 AM Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> wrote: > Belíssimo, que linda e oportuna homenagem! > Parabéns a vocês pela decisão e pela criatividade, nestes momentos tão > t

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

Caros colegas, Concordo com tudo que o Marcos Silva disse. Mas sou menos educada, para mim não faz sentido algum fazer qualquer piada com a situação lamentável que temos em relação a esse problema. Que rebeldia e' essa de que estamos falando? a de ser machista, classicista, sexista e não-encontr

Re: [Logica-l] palestra de Wilfrid Hodges sobre história da lógica

Oi Itala, Joao, nao perderam nao, eles disponibilizam online as palestras do Nordic Seminar sim. daqui a alguns dias vai estar no canal deles, pois foi gravada! abs Valeria On Mon, May 24, 2021 at 8:55 AM Joao Marcos wrote: > Hummm, a palestra ocorreu às 11:00 no "horário de Campinas": > > http

[Logica-l] do zulip de categorias

José Siqueira: O próximo talk será o do Davide Trotta (colaborador da @Valeria de Paiva ), terça-feira 11 de Maio as 16:15 BST (BST = GMT+1). Estão convidados! José Siqueira: Título: The Gödel fibration . Detalhes estão aqui http://talks.cam.ac.uk/talk/index/160420 -- Valeria de Paiva http

Re: [Logica-l] Valeria de Paiva: Lógica e Pesquisadora em Inteligência Artificial

uvir a Valéria e conhecer melhor sua trajetória acadêmica e >> seu ativismo. >> >> muito obrigado! >> >> Abraços, >> Marcos >> >> On Thu, Feb 4, 2021 at 10:17 AM Valeria de Paiva < >> valeria.depa...@gmail.com> wrote: >> >>> Muito obr

  1   2   3   4   5   6   >