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

Researchers seek to influence peer review with hidden AI prompts | TechCrunch https://techcrunch.com/2025/07/06/researchers-seek-to-influence-peer-review-with-hidden-ai-prompts/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo es

[Logica-l] WoLLIC 2025 Call for Participation

[please post. apologies for multiple postings] Call for Participation WoLLIC 2025 31st Workshop on Logic, Language, Information and Computation 14-17 July 2025 Porto, Portugal https://wollic2025.github.io/

[Logica-l] 31st WoLLIC 2025 - Call for Papers - DEADLINE APPROACHING

(DEADLINE APPROACHING) [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2025 31st Workshop on Logic, Language, Information and Computation 14-17 July 2025 Porto, Portugal https://wollic2025.github.io/ ORGANISATION Department of Computer Science, Faculty of Sciences, U

[TYPES/announce] 31st WoLLIC 2025 - 3rd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2025 31st Workshop on Logic, Language, Information and Computation 14-17 July 2025 Porto, Portugal https://urldef

[Logica-l] 31st WoLLIC 2025 - 3rd Call for Papers

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2025 31st Workshop on Logic, Language, Information and Computation 14-17 July 2025 Porto, Portugal https://wollic2025.github.io/ ORGANISATION Department of Computer Science, Faculty of Sciences, University of Porto, Port

[Logica-l] Can AI Models Show Us How People Learn? Impossible Languages Point a Way. | Quanta Magazine

Can AI Models Show Us How People Learn? Impossible Languages Point a Way. | Quanta Magazine https://www.quantamagazine.org/can-ai-models-show-us-how-people-learn-impossible-languages-point-a-way-20250113/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica

[TYPES/announce] 31st WoLLIC 2025 - 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2025 31st Workshop on Logic, Language, Information and Computation 14-17 July 2025 Porto, Portugal https://urldef

[Logica-l] 31st WoLLIC 2025 - 2nd Call for Papers

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2025 31st Workshop on Logic, Language, Information and Computation 14-17 July 2025 Porto, Portugal https://wollic.org/wollic2025 ORGANISATION Department of Computer Science, Faculty of Sciences, University of Porto, Port

[Logica-l] Mersenne Prime Discovery - 2^136279841-1 is Prime!

Mersenne Prime Discovery - 2^136279841-1 is Prime! https://www.mersenne.org/primes/?press=M136279841 -- 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. Pa

[Logica-l] Math’s ‘Bunkbed Conjecture’ Has Been Debunked | Quanta Magazine

Math’s ‘Bunkbed Conjecture’ Has Been Debunked | Quanta Magazine https://www.quantamagazine.org/maths-bunkbed-conjecture-has-been-debunked-20241101/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreve

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

Parabéns, Renata! Um abraço, Ruy 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.* > > []s > > --

[Logica-l] Mathematicians are obsessed with patterns. They've been obsessed for so long you'd think they've got it figured all out. But just recently they discovered a new type of pattern that is ever

skdh (@Sabine Hossenfelder) postou: Mathematicians are obsessed with patterns. They've been obsessed for so long you'd think they've got it figured all out. But just recently they discovered a new type of pattern that is everywhere in nature. https://t.co/Y6muCIhzVV https://x.com/skdh/status/185056

[Logica-l] Big Advance on Simple-Sounding Math Problem Was a Century in the Making | Quanta Magazine

Big Advance on Simple-Sounding Math Problem Was a Century in the Making | Quanta Magazine https://www.quantamagazine.org/big-advance-on-simple-sounding-math-problem-was-a-century-in-the-making-20241014/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --

[Logica-l] Can Space-Time Be Saved? | Quanta Magazine

Can Space-Time Be Saved? | Quanta Magazine https://www.quantamagazine.org/can-space-time-be-saved-20240925/ -- 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 Goo

[TYPES/announce] 31st WoLLIC 2025 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2025 31st Workshop on Logic, Language, Information and Computation 14-17 July 2025 Porto, Portugal https://urldef

[Logica-l] 31st WoLLIC 2025 - Call for Papers

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2025 31st Workshop on Logic, Language, Information and Computation 14-17 July 2025 Porto, Portugal https://wollic.org/wollic2025 ORGANISATION Department of Computer Science, Faculty of Sciences, University of Porto, Port

[TYPES/announce] WoLLIC 2024 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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 http

[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 Univers

[TYPES/announce] 30th WoLLIC 2024 - Third Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [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:

[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 Universit

[TYPES/announce] 30th WoLLIC 2024 - Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [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 http

[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 Univers

[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 comme

[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 machin

[TYPES/announce] 30th WoLLIC 2024 - 1st Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [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://urld

[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 profissiona

[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 uni

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 "ling

[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 pr

[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 e

[TYPES/announce] 29th WoLLIC 2023 - Final Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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, 2

[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/ W

[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. https://www.quantamagazine.org/in-new-paradox-black-holes-appear-to-evade-heat-dea

[TYPES/announce] 29th WoLLIC 2023 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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

[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, Canad

[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 Google.

[TYPES/announce] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] >> DEADLINE EXTENDED - DEADLINE EXTENDED << [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computatio

[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/ ORGANISATI

[Om-announce] 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 Mathemati

[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 Mathemati

[Om-announce] 29th WoLLIC 2023 - 2nd 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 Website: https://www.mathstat.dal.ca/wollic2023/ ORGANISATION Department of Mathematics and Statistics, Dal

[TYPES/announce] 29th WoLLIC 2023 - 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [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

[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. Par

[TYPES/announce] 29th WoLLIC 2023 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [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

[Om-announce] 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] 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 13

[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 inf

[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 society

[TYPES/announce] 28th WoLLIC 2022 - 3rd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania ORGANI

[Om-announce] 28th WoLLIC 2022 - 3rd Call for Papers

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania ORGANISATION Faculty of Computer Science, Alexandru Ioan Cuza University, Romania Centro de Informática, Universid

[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 Obrig

[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 interess

[Om-announce] 28th WoLLIC 2022 - 2nd Call for Papers

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania ORGANISATION Faculty of Computer Science, Alexandru Ioan Cuza University, Romania Centro de Informática, Universid

[TYPES/announce] 28th WoLLIC 2022 - 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania ORGANI

[Om-announce] 28th WoLLIC 2022 - First Call for Papers

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania ORGANISATION Faculty of Computer Science, Alexandru Ioan Cuza University, Romania Centro de Informática, Universid

[TYPES/announce] 28th WoLLIC 2022 - First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania ORGANI

[TYPES/announce] 27th WoLLIC 2021 - Call for Participation (Online)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please circulate. Apologies for multiple copies.] CALL FOR PARTICIPATION WoLLIC 2021 27th Workshop on Logic, Language, Information and Computation October 5 to 8, 2021 (Virtual Event) ORG

[Om-announce] 27th WoLLIC 2021 - Call for Participation (Online)

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

[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 concep

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 effort

[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 propose

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

[Om-announce] 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, U

[TYPES/announce] 27th WoLLIC 2021 - Call for Papers (DEADLINE EXTENDED: May 25th)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (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,

[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, U

[Om-announce] 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,

[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,

[TYPES/announce] 27th WoLLIC 2021 - Call for Papers (DEADLINE APPROACHING: May 18th)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (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

[TYPES/announce] 27th WoLLIC 2021 - Call for Papers (DEADLINE APPROACHING: May 18th)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (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

[TYPES/announce] 27th WoLLIC 2021 - 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [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

[Om-announce] 27th WoLLIC 2021 - 2nd Call for Papers

[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, Universidade Federal de Pernambuco

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: > Car@s

[Om-announce] 27th WoLLIC 2021 - Call for Papers

[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, Universidade Federal de Pernambuco

[TYPES/announce] 27th WoLLIC 2021 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [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