Achei bem interessante o recente discurso do lógico John Etchemendy
https://en.wikipedia.org/wiki/John_Etchemendy
que acabou de deixar a direção da Universidade de Stanford, depois de 17
anos
Ele fala sobre ameaça interna nas universidades, finalizando desta forma:
The first step is to remind our
Caros,
Apenas para divulgar,
No endereço
http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration
já estão disponibilizadas todas as informações sobre os procedimentos sobre
o "registration" do próximo EBL, em Pirenópolis (valores, etc.).
Atés,
[]s Samuel
---
Ois,
Vai ter alguma página de dicas para chegar em Pirenópolis? Melhor Brasília
ou Goiânia?
Abraços,
Renata.
--
Renata Wassermann
Associate Professor
Computer Science Department
University of São Paulo
2017-03-09 15:13 GMT-03:00 :
> Caros,
>
> Apenas para divulgar,
>
> No endereço
>
> http:/
Oi, Samuel,
Encontrei um typo:
Registration fess --> Registration fees
:)
2017-03-09 15:27 GMT-03:00 Renata Wassermann :
> Ois,
>
> Vai ter alguma página de dicas para chegar em Pirenópolis? Melhor Brasília
> ou Goiânia?
>
> Abraços,
>
> Renata.
>
> --
> Renata Wassermann
> Associate Professor
TIME 2017
24th International Symposium on Temporal Representation and Reasoning
Mons (Belgium), 16-18 October 2017
Second Call for Papers
http://informatique.umons.ac.be/time2017/
-
Oi gente,
Só adicionando um dado,
Eu não estou na comissão organizadora do evento não, hehe, só quis dar um
toque de que essas informações aí
de "registration" já estavam disponíveis.
Na página do evento o email sugerido para maiores informações é
*ebl2...@inf.ufg.breu espero que a org
(Assim como fica a sugestão de que se isso for possível, avisem rapidamente
porque está na hora de comprar passagens já...)
On Thursday, March 9, 2017 at 3:13:32 PM UTC-3, sam...@ufba.br wrote:
>
> Caros,
>
> Apenas para divulgar,
>
> No endereço
>
> http://www.inf.ufg.br/ebl2017/ebl.html#sec-
"I’m teaching the incompleteness theorems (and related material) this
term, and of course I’m using the Open Logic Project as a text. The
relevant sections are based on Jeremy Avigad’s notes, which originally
were meant as a supplement to Epstein & Carnielli’s textbook
Computability."
-- Richard Za
Aparenta fazer as coisas passo a passo. Parece bem interessante.
Em 9 de março de 2017 18:40, Joao Marcos escreveu:
> "I’m teaching the incompleteness theorems (and related material) this
> term, and of course I’m using the Open Logic Project as a text. The
> relevant sections are based on Jere
Renata e demais colegas,
As informações, que devem constar em breve na página do EBL,
são:
- Teremos um ônibus saindo do aeroporto de Brasília na segunda
e no sentido inverso na sexta (Brasília têm mais opções de vôo).
- Recomendação de vacina para febre amarela até 10 dias antes da
Ola Daniel,
febre amarela?Não está fácil conseguir vacina.. tem gente que vai
declinar por causa disso!
>- Teremos um ônibus saindo do aeroporto de Brasília na segunda
> e no sentido inverso na sexta (Brasília têm mais opções de vôo).
E quem precisar chegar na terça-feira, ou sai
Obrigado pela dica, João.
Dei esse curso no ano passado e não sei quando vou ter essa
oportunidade novamente. Mas quando esse dia chegar, vou tratar de
procurar o que há no open logic project.
[]s
2017-03-09 18:40 GMT-03:00 Joao Marcos :
> "I’m teaching the incompleteness theorems (and related
Caros:
Ficamos contentes, Dick (Arf) Epstein e eu, em saber que nosso livro
"Computability: Computable functions, logic, and the foundations of mathematics"
http://www.advancedreasoningforum.org/computability
alcançou essa dimensão, não somente de ser suplementado pelo Jeremy
Avigad (isso eu já
13 matches
Mail list logo
