Muito bom Alfredo, cuja formação deve muito à dedicação inestimável do
Rodrigo!
Queremois ver mais postagens :-)
Abraços,.
Walter
Em ter, 3 de abr de 2018 22:26, Alfredo Roque Freire
escreveu:
> Obrigado pelo comentário Rodrigo, me sinto honrado de ser mencionado assim
> na lista de lógica.
>
>
Parabéns Roque!!
Um abraço
Marcelo
2018-04-03 22:26 GMT-03:00 Alfredo Roque Freire :
> Obrigado pelo comentário Rodrigo, me sinto honrado de ser mencionado assim
> na lista de lógica.
>
> Devo muito da minha formação e trabalho ao Rodrigo e ao Walter (meu
> coorientador e orientador, respectiva
Obrigado pelo comentário Rodrigo, me sinto honrado de ser mencionado assim
na lista de lógica.
Devo muito da minha formação e trabalho ao Rodrigo e ao Walter (meu
coorientador e orientador, respectivamente).
Abraço
On Tue, Apr 3, 2018 at 8:33 PM Walter Carnielli
wrote:
> Muitíssimo bem! Parab
Muitíssimo bem! Parabéns, Alfredo!!
Está merecendo sua ausência por aqui
Vai ajudar na Tese!
Abraços,
Walter
Em 3 de abril de 2018 21:27, Rodrigo Freire escreveu:
> O último blog post do Joel Hamkins é dedicado a parte do projeto sobre
> interpretações que o doutorando Alfredo Roque Freire e
O último blog post do Joel Hamkins é dedicado a parte do projeto sobre
interpretações que o doutorando Alfredo Roque Freire está desenvolvendo. Há
vários resultados limitativos interessantes sobre interpretações e
bi-interpretações que não são tão bem conhecidos e o Alfredo tem explorado isso
m
Boa tarde, colegas.
Divulgo aqui a chamada para o prêmio da Charles S. Peirce Society. É um
prêmio voltado a recém-doutores. Creio q muitos aqui podem querer concorrer
bem como outros podem ter alunos ou ex-alunos igualmente interessados.
As regras podem ser conferidas aqui:
http://www.commens.org
==
Call for Papers
Joint Linearity & TLLA Workshop
Fifth International Workshop on Linearity
Second International Workshop on Trends in Linear Logic and
Caros,
Alguém teria o artigo:
H. Tuominen. Translations from epistemic into dynamic logic. In Yves
Kodratoff, editor, ECAI-88: Proceedings of the 8th European conference on
Artificial Intelligence, pages 586–588, 1988.
Muito obrigado e um abraço,
Mario
--
Federal University of Rio de Janeiro
> De todo modo, vai ser difícil o resto...
De minha parte já sei dizer que não terei qualquer auxílio financeiro
por parte da minha universidade... De fato, a verba *total* que me
foi concedida pela chefia do departamento para gastar com pesquisa *e*
equipamentos este ano foi de cerca de USD 390.
Ola João
,
Pois é - então parece que não é que foi difícil ter sido aceito--
parece que foi difícil ter sido submetido. De todo modo, vai ser
difícil o resto...
Walter
Em 3 de abril de 2018 11:31, Joao Marcos escreveu:
>> Olá Samuel não deve ter sido difícil ter sido aceito.
>
> Walter, dos
> Olá Samuel não deve ter sido difícil ter sido aceito.
Walter, dos 26 trabalhos submetidos para a seção de "Logic and
Foundations", apenas 12 foram aceitos (destes, 4 são de lavra
nacional: o seu trabalho, o do Samuel, o meu, e o da Christina Brech).
De todo modo, pelo preço a pagar (seja dinhei
... 450 dólares mais 100 para acompanhante, é salgado mesmo !!!
Até,
[]s Samuel
On Tuesday, April 3, 2018 at 10:09:19 AM UTC-3, Samuel Gomes da Silva wrote:
>
> Prezados,
>
> Saiu o resultado das submissões para o ICM 2018 - Short
> communications/posters
>
> http://www.icm2018.org/portal/en/r
Olá Samuel não deve ter sido difícil ter sido aceito.
Com o oreço exorbitante das inscrições, essa história de Congresso se
transformou em Bom Negócio.
By the way, o meu foi aceito. Vou pagar o preço da entrada na
Disneylândia para ver o Mickey Mouse da matemática e a entrega da medalha
Fields.
Dear colleagues,
Please find below the last call for papers for UNIF 2018, the
32nd International Workshop on Unification, affiliated to
FSCD/FLOC.
We would be very grateful if you could help us disseminating it
among your interested students and colleagues, and of course
much more grateful if
Prezados,
Saiu o resultado das submissões para o ICM 2018 - Short communications/posters
http://www.icm2018.org/portal/en/results-short-communications
Parabéns aos colegas que obtiveram o aceite dos seus trabalhos.
(Ainda não anunciaram exatamente quais serão apresentados como comunicações
Bom dia!
Obrigada ao Vivek e Alexandre por mais informações. Como será um vídeo
informal e curto, as respostas que recebi já são suficientes para ilustrar
como alguém da área de lógica pode atuar fora das universidades usando
seu conhecimento em lógica. Eu queria exemplos concretos e já tenho o
s
===
Call for papers
Logical Frameworks and Meta-Languages: Theory and Practice
LFMTP 2018
Oxford, UK, 7 July 2018
Affiliated wit
17 matches
Mail list logo
