Obrigado Karina, Marcos e todas as outras e outros.
Estamos fazendo o possível, mas vai ser uma barra pesada:-)
Abraços
Walter
Em sáb., 4 de fev. de 2023 21:36, Karina Roggia
escreveu:
> Iniciativa incrível, que tenho certeza que ampliará horizontes de novas
> mentes que estão aflorando.
>
Iniciativa incrível, que tenho certeza que ampliará horizontes de novas
mentes que estão aflorando.
Agradeço demais aos organizadores e àqueles que possibilitaram o fomento da
escola. Fiquei muito feliz com o aceite de um orientando por aqui.
Desejo que sejam duas semanas muito proveitosas!
Caras e caros:
Estamos empolgadíssimos com a realização da Escola!
Muito trabalho, muita preparação, muita organização, mais de 120 estudantes
de todo o Brasil e de todos os continentes.
Além das autoridades da Unicamp, o Diretor Cientifico da Fapesp também
participará da cerimônia de abertura do
Olá,
faço coro às palavras do Marcos. Parabéns a todas e todos que organizaram o
SPLogic! Não imagino a dor de cabeça que foi para elaborar toda a logística.
Já estou preparando as malas para viajar até Campinas amanhã e participar
desse evento que será monumental.
Abraços,
João F.
Em sáb., 4
Car@s,
Gostaria de registrar aqui meus parabéns à Ítala D'Otaviano, ao Walter
Carnielli e à toda equipe organizadora do SPLogic.
A iniciativa é muito boa!
A programação está super interessante. (começa no dia 6/2)
https://www.cle.unicamp.br/splogic/
Três jovens alunos nossos de Pernambuco vão
Dear colleagues,
On March 2-3 we will have the first of what we are calling "ecumenical
meetings".
Ecumenical systems refer, in a broad sense, to proof systems for combining
logics. This series of meetings aims at discussing the basics about logic,
proof systems and their combination.
The
