Eu suspeito que os 20 milhões de dólares sejam basicamente o custo da construção de um novo prédio para abrigar o centro, nem tão grande assim, com alguma mobília, equipamentos, talvez alguma reserva para manutenção por algum tempo.
Abraço, Prolo On Wed, Sep 22, 2021 at 9:38 PM Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> wrote: > Fantástico! > Ítala > > Em qua., 22 de set. de 2021 às 20:51, 'samuel' via LOGICA-L < > logica-l@dimap.ufrn.br> escreveu: > >> ... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser >> o Avigad. >> >> >> https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html >> >> >> -- >> Você recebeu essa mensagem porque está inscrito 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 logica-l+unsubscr...@dimap.ufrn.br. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ec9e09af-181b-4ff3-be62-9a4b4c23470cn%40dimap.ufrn.br >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ec9e09af-181b-4ff3-be62-9a4b4c23470cn%40dimap.ufrn.br?utm_medium=email&utm_source=footer> >> . >> > -- > Prof. Dr. Itala M. Loffredo D'Ottaviano > Full Professor in Logic and the Foundations of Science > Centre for Logic, Epistemology and the History of Science > University of Campinas > > -- > Você recebeu essa mensagem porque está inscrito 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 logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4DkeTbA5wrp0bH2Q30UXr2CeUYCMArkr3DDHmhNBJNYg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4DkeTbA5wrp0bH2Q30UXr2CeUYCMArkr3DDHmhNBJNYg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD7MeJvKg-OCDBc5Nv1R1-2R3-X1zM4TA8skgQGenP0LVPnCEw%40mail.gmail.com.
