[Logica-l] LPAR-24- Manizales, Colombia

2023-02-15 Por tôpico Walter Carnielli
Divulgando a pedidos:

==

LPAR-24 Call for Papers

LPAR-24 will be held in Manizales, Colombia, at the National University of
Colombia, 4-9th June 2023.

Details are online at :
https://easychair.org/smart-program/LPAR2023/


The Call for Papers is available at ...
https://easychair.org/cfp/LPAR2023

LPAR ... "We boldly go where no reasonable conference has gone before"

-- 
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/CAOrCsLfU8OTuFrq8nYOCDGd3r%2BouOH_uzbqdQHUdq5aMb%3Dxi2A%40mail.gmail.com.


[Logica-l] [OFF TOPIC]

2023-02-15 Por tôpico Walter Carnielli
Pessoal,

Há semanas tento acessar a plataforma Carlos Chagas do CNPQ para resolver
um problema de bolsa.

Não ebtra, talvez a senha tenha sido caducada, e se tento nova senha
recebo sempre  a mesma resposta ;

"Não foi possível validar o token JWT".

Alguém está conseguindo entrar ?
Será que é um problema de browser ?

O que seria esse tal JWT?
 Parece coisa de Java, mas eu não sei...

Abs

Walter

-- 
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/CAOrCsLdFDiLwuUU%2BGG9ZTE%3DteFhR4xO0meKEyeksw4KBv2mnZA%40mail.gmail.com.