Prezados colegas,
O grupo "Programming Principles, Logic, and Verification", sob o comando de
David Pym, vai abrir em breve uma chamada para duas bolsas de
pós-doutorado. A duração será de aproximadamente 30 meses. Os interesses
incluem (mas não se limitam a):
- proof-theoretic semantics and related ideas
- foundational aspects of modal logics and applications to systems'
modelling
- substructural logics
Se alguém tiver interesse em saber um pouco mais sobre o projeto, pode
entrar em contato comigo.
Atenciosamente,
--
Elaine.
-------------------------------------------------
Elaine Pimentel
Full professor - DMAT/UFRN
Vice-head of PPGMAE/UFRN
Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN
Webpage: http://sites.google.com/site/elainepimentel/
DBLP: https://dblp.org/pid/53/5809.html
Orcid: https://orcid.org/0000-0002-7113-0801
Lattes: http://lattes.cnpq.br/3298246411086415
--------------------------------------------------------
--
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 [email protected].
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVsctxQr5JUDd6c_jsZnbQ5a0S2P4iAqOxSk9DDGEknjg%40mail.gmail.com.
