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

[Ruy Jose Guerra Barretto de Queiroz]

*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 estudantes da área de Lógica 

--- 
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/CANSQ7QjmwhN_YrvrCh-1gaUrxecB-UbjcCq68SvPcradMuyenQ%40mail.gmail.com.

Re: [Logica-l] Participação de Sociedades Científicas no PPA Participativo

[João Mendes]

Nos últimos dias, ganhou força na votação virtual do PPA a proposta de 
"Assegurar um mecanismo anual de reajuste das bolsas de estudo, pesquisa e 
pós-graduação no país e no exterior, usando como referência indicadores que 
possibilitem a recuperação do valor frente a inflação e com ganhos reais ao 
longo do período 2024-2027", formulada por ANPG e ANPEd.

A votação é pela plataforma gov.br e o link dessa proposta é 
https://brasilparticipativo.presidencia.gov.br/processes/programas/f/2/proposals/8275.
 
Cada pessoa pode votar em até seis propostas no total, sendo três entre os 
28 programas oficiais elaborados pelos ministérios do governo federal e 
três elaboradas pela sociedade civil.

A votação segue até amanhã (16), às 22h (horário de Brasília).
Em segunda-feira, 22 de maio de 2023 às 12:58:29 UTC-3, Elaine Pimentel 
escreveu:

> Boa tarde João,
>
> Até onde eu saiba, a SBPC não está engajada no PPA. Acho uma ótima 
> sugestão para a próxima diretoria da SBL.
>
> Atenciosamente,
>
> On Mon, May 22, 2023 at 5:40 PM João Mendes  wrote:
>
>> Alguém tem informações de movimentações das Sociedades Científicas para 
>> participação no PPA Participativo (
>> https://brasilparticipativo.presidencia.gov.br/)? Procurei algo nas 
>> mídias da SBPC e não encontrei nada. A diretoria da SBL planejou algo?
>>
>> Pergunto também porque as plenárias estaduais já começaram (a daqui do 
>> estado ocorre nesta quinta) e queria saber se posso fazer algo a respeito 
>> para além da participação na plataforma virtual.
>>
>> Agradeço desde já,
>>
>> João Mendes
>>
>> -- 
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de 
>> Lógica 
>> --- 
>> 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+u...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/803beb78-3a75-41a9-9d5b-cc455d5aa61fn%40dimap.ufrn.br
>>  
>> 
>> .
>>
>
>
> -- 
> Elaine.
> ---
> Elaine Pimentel
> Associate Professor in Programming Principles, Logic, and Verification
> Department of Computer Science
> University College London
> https://sites.google.com/site/elainepimentel/
> ---
>

-- 
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.
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/0baa9fe4-464e-4167-a4b7-579a4ce16845n%40dimap.ufrn.br.