XX SLALM

[Elaine Pimentel]

Colegas,

De 1o a 5 de julho vamos ter o XX SLALM, organizado no Uruguay. 

A página está incrível:

https://xxslalm.cmat.edu.uy/

E os convidados também :) Entre eles estão a nossa Ítala e o nosso Marcos Silva,  além do João Marcos como co-chair da sessão especial de Non-classical logics.

Ainda não saiu o cfp, mas assim que for publicado a gente atualiza por aqui.

Abraços,

--

Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London

https://sites.google.com/site/elainepimentel/
-----------------------------------