[Logica-l] WoLLIC 2024 call for participation

CALL FOR PARTICIPATION *** Deadline for early registration: 10 May 2024 *** WoLLIC 2024 30th Workshop on Logic, Language, Information and Computation 10-13 June 2024 Bern, Switzerland https://wollic2024.inf.unibe.ch/ ORGANISATION Mathematical Institute and Institute for Computer Science

[Logica-l] 30th WoLLIC 2024 - Third Call for Papers

[Please distribute. Apologies for multiple postings] THIRD CALL FOR PAPERS WoLLIC 2024 30th Workshop on Logic, Language, Information and Computation 10-13 June 2024 Bern, Switzerland https://wollic2024.inf.unibe.ch/ ORGANISATION Mathematical Institute and Institute for Computer Science

[Logica-l] 30th WoLLIC 2024 - Second Call for Papers

[Please distribute. Apologies for multiple postings] SECOND CALL FOR PAPERS WoLLIC 2024 30th Workshop on Logic, Language, Information and Computation 10-13 June 2024 Bern, Switzerland https://wollic2024.inf.unibe.ch/ ORGANISATION Mathematical Institute and Institute for Computer Science

[Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF

Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Le plus grand mathématicien du XXe siècle, qui a vécu en ermite jusqu'à sa mort en 2014, avait

[Logica-l] What’s a Qubit? 3 Ways Scientists Build Quantum Computers - Scientific American

What’s a Qubit? 3 Ways Scientists Build Quantum Computers Scientists are trying to master the basic computing element known as a qubit to make quantum computers more powerful than electronic

[Logica-l] 30th WoLLIC 2024 - 1st Call for Papers

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2024 30th Workshop on Logic, Language, Information and Computation 10-13 June 2024 Bern, Switzerland https://wollic2024.inf.unibe.ch/ ORGANISATION Mathematical Institute and Institute for Computer Science, University of

[Logica-l] Why Mathematical Proof Is a Social Compact

Why Mathematical Proof Is a Social Compact Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. -- LOGICA-L Lista acadêmica brasileira dos

[Logica-l] An Old Conjecture Falls, Making Spheres a Lot More Complicated

An Old Conjecture Falls, Making Spheres a Lot More Complicated The telescope conjecture gave mathematicians a handle on ways to map one sphere to another. Now that it has been disproved, the

Re: [Logica-l] Re: ao

Caros, Peço permissão para acrescentar um elemento a essa bela troca de ideias: os questionamentos de Brouwer no que diz respeito ao papel da linguagem na matemática estimulam uma grande reflexão, e, na minha opinião, não é à toa que Wittgenstein é levado a retomar o trabalho sobre a relação

[Logica-l] How the Four-Color Map Problem Was Finally Solved

How the Four-Color Map Problem Was Finally Solved The twisty history and surprise ending of the four-color theorem saga By Jack Murtagh on July 24, 2023 -- LOGICA-L Lista acadêmica brasileira dos

[Logica-l] "How to Build a Big Prime Number"

*How to Build a Big Prime Number* A new algorithm brings together the advantages of randomness and deterministic processes to reliably construct large prime numbers. https://www.quantamagazine.org/how-to-build-a-big-prime-number-20230713/ -- LOGICA-L Lista acadêmica brasileira dos profissionais

[Logica-l] 29th WoLLIC 2023 - Final Call for Participation

FINAL CALL FOR PARTICIPATION *** NEW: Invited talk titles and abstracts, accepted contributions *** WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Dalhousie University, Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/

[Logica-l] In New Paradox, Black Holes Appear to Evade Heat Death

QUANTUM INFORMATION THEORY In New Paradox, Black Holes Appear to Evade Heat Death The puzzling behavior of black hole interiors has led researchers to propose a new physical law: the second law of quantum complexity.

[Logica-l] 29th WoLLIC 2023 - Call for Participation

CALL FOR PARTICIPATION *** Deadline for booking university residence accommodation: 25 May 2023 *** *** Deadline for early registration: 25 May 2023 *** WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Dalhousie University, Halifax, Nova Scotia,

[Logica-l] A New Approach to Computation Reimagines Artificial Intelligence

https://www.quantamagazine.org/a-new-approach-to-computation-reimagines-artificial-intelligence-20230413/ -- 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

[Logica-l] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)

>> DEADLINE EXTENDED - DEADLINE EXTENDED << [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/

[Logica-l] 29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING)

DEADLINE APPROACHING [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/ ORGANISATION Department of

[Logica-l] Google Researcher, Long Out of Math, Cracks Devilish Problem About Sets

https://www.quantamagazine.org/long-out-of-math-an-ai-programmer-cracks-a-pure-math-problem-20230103/ -- 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.

[Logica-l] 29th WoLLIC 2023 - Call for Papers

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática,

[Logica-l] Fwd: WoLLIC 2022: documentary film confirmed at 13h30, GMT+3

WoLLIC exibirá um documentário sobre Shiing-shen Chern (considerado o pai da geometria algébrica moderna) pelo Zoom. Aqui vão os detalhes. Ruy -- Forwarded message - De: Stefan Ciobaca Date: sex., 23 de set. de 2022 às 05:06 Subject: WoLLIC 2022: documentary film confirmed at

[Logica-l] Fwd: WoLLIC 2022 Zoom Link (Day 2)

Prezadas/Prezados, Seguem as instruções de acesso às sessões online de amanhã do WoLLIC. Um abraço, Ruy -- Forwarded message - De: Stefan Ciobaca Date: ter., 20 de set. de 2022 às 18:06 Subject: WoLLIC 2022 Zoom Link (Day 2) To: Stefan Ciobaca Dear All, Please find below

[Logica-l] The Mysterious Disappearance of a Revolutionary Mathematician | The New Yorker

The Mysterious Disappearance of a Revolutionary Mathematician Alexander Grothendieck was revered for revealing connections between seemingly unrelated realms. Then he dropped out of

[Logica-l] Fwd: Encontro de Teoria da Computação - ETC/CSBC

(Perdão pela eventual duplicidade) -- Forwarded message - De: mcampelo Date: ter., 18 de jan. de 2022 às 11:39 Subject: Encontro de Teoria da Computação - ETC/CSBC To: Olá, Solicitamos divulgar entre seus contatos. Desculpas por múltiplas cópias dessa mensagem. Muito

[Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada

Perdão pela eventual duplicidade. -- Forwarded message - De: Cl?udia Maria Bauzer Medeiros por (sbc-l) Date: sex., 14 de jan. de 2022 às 10:34 Subject: [sbc-l] Integridade cientifica - leitura recomendada To: Prezados colegas da sbc-l Acaba de sair um relatorio muito

[Logica-l] Infinity Category Theory Offers a Bird's-Eye View of Mathematics - Scientific American

*Infinity Category Theory Offers a Bird’s-Eye View of Mathematics * Mathematicians have expanded category theory into infinite dimensions, revealing new connections among mathematical

Re: [Logica-l] [OFF] "ditadura da língua"

Walter, A propósito: Latin to be introduced at 40 state secondaries in England The Guardian Miranda Bryant Sat 31 Jul 2021 12.14 BST Latin is to be taught at state schools across England in an

[Logica-l] Fwd: Davis's honor roll

-- Forwarded message - De: Richard Zach Date: qui., 24 de jun. de 2021 às 17:43 Subject: Davis's honor roll To: f...@cs.nyu.edu At https://cs.nyu.edu/pipermail/fom/2003-May/006665.html Martin Davis writes: I'm fond of noting that the list of logicians who have seriously

Fwd: [Logica-l] tributo a Paulo Veloso

-- Forwarded message - De: Ruy Jose Guerra Barretto de Queiroz Date: sáb., 29 de mai. de 2021 às 08:29 Subject: Re: [Logica-l] tributo a Paulo Veloso To: Joao Marcos Obrigado, João Marcos, pela divulgação do livro! Parabéns a Hermann, Luiz Carlos e Petrúcio pela excelente

[Logica-l] 27th WoLLIC 2021 - Call for Papers (DEADLINE EXTENDED: May 25th)

(DEADLINE EXTENDED: *May 25th*) [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2021 27th Workshop on Logic, Language, Information and Computation October 5 to 8, 2021 ORGANISATION Universidade de São Paulo, Brazil University College London, UK Centro de Informática,

[Logica-l] 27th WoLLIC 2021 - Call for Papers (DEADLINE APPROACHING: May 18th)

(Deadline APPROACHING: May 18th) [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2021 27th Workshop on Logic, Language, Information and Computation October 5 to 8, 2021 ORGANISATION Universidade de São Paulo, Brazil University College London, UK Centro de Informática,

Re: [Logica-l] [OFF] Nota da SBF sobre a troca de presidentes na Capes

Prezados e Prezadas, Na esteira do que levantou Marcelo, e do que propuseram Walter, Itala e Chico, acrescento meu apoio. Também acho que a SBL deveria emitir uma nota oficial. Um abraço, Ruy Em sex., 16 de abr. de 2021 às 15:37, Francisco Miraglia Neto < mirag...@ime.usp.br> escreveu: >