Vou fazer uns comentários meio aleatórios...

1. Esse Felipe Gonçalves tem uma webpage BEM bacana. Vou me focar
   nisso aqui:

     https://w3.impa.br/~goncalves/teaching.html

2. Em 2022 ele deu um curso - em Bonn - sobre artigos do J.H. Conway,
   em que cada aluno apresentava um seminário sobre um artigo:

     https://w3.impa.br/~goncalves/conwayisgod.html
     https://w3.impa.br/~goncalves/erikslides.pdf
     https://w3.impa.br/~goncalves/marvinslides.pdf

3. Quando eu crescer eu quero trabalhar num lugar em que os alunos
   a) tenham acesso a computadores, b) tenham colegas que saibam
   Beamer e Tikz, c) consigam fazer slides como esses, qdz, sem
   precisarem aprender tudo sozinhos.

4. Um amigo meu que eu não posso dizer quem é uma vez fez um curso
   numa universidade que eu não posso dizer qual é e que tinha uma
   ementa ambiciosíssima, mas no qual o professor - que eu não lembro
   quem era - botava os alunos pra fazerem seminários sobre os tópicos
   da ementa... "e só".

Bom, tou bem curioso sobre como esse curso do IMPA vai ser! =P

  Abraços,
    Eduardo Ochs
    http://angg.twu.net/eepitch.html

On Tue, 20 Dec 2022 at 00:07, Walter Carnielli <walte...@unicamp.br> wrote:
>
> Olá Clodomir,
>
> Obrigado, vi o CV dele.
>
> Tem umas 20 boas publicações,  mas nada no tema do curso. Sem duvida é  
> competente,  mas  vai ter um trabalhão com esse curso..
>
>
> Abs
> Walter
>
>
> Em seg., 19 de dez. de 2022 23:44, Clodomir Neto <clodomirn...@gmail.com> 
> escreveu:
>>
>> Boa noite!
>>
>> O professor será Felipe Gonçalves: será: https://w3.impa.br/~goncalves/
>>
>> At.te,
>> --
>> Clodomir Silva Lima Neto
>> Professor EBTT Matemática
>> IFCE Campus Maranguape
>>
>> Em seg., 19 de dez. de 2022 23:35, Walter Carnielli <walte...@unicamp.br> 
>> escreveu:
>>>
>>> Oi Samuel, oi pessoal:
>>>
>>> Sem dúvida,  um programa  muito ambicioso pars tao pouco yrmpo.
>>>
>>> E deveriam convidar um lógico,  mas acharam um "number theorist" entre eles.
>>>
>>> Mas eu não sei quem é,  vc conseguiu  saber?
>>>
>>> Abs
>>> Walter
>>>
>>> Em seg., 19 de dez. de 2022 20:10, 'Samuel Gomes da Silva' via LOGICA-L 
>>> <logica-l@dimap.ufrn.br> escreveu:
>>>>
>>>> Caros,
>>>>
>>>> Acabou de aparecer no Twitter,
>>>>
>>>> Haverá no Verão do IMPA uma disciplina de Lógica (mais precisamente, 
>>>> Computação, Lógica e Teoria dos Conjuntos (!!!),
>>>> com uma ementa deveras ambiciosa...),
>>>>
>>>> E as surpresas continuam, quem vai ministrar nem é de Lógica, é um 
>>>> pesquisador que trabalha na interface entre Análise e Teoria
>>>> dos Números.
>>>>
>>>> Interessante.
>>>>
>>>> Abraços
>>>>
>>>> []s  Samuel
>>>>
>>>> --
>>>> LOGICA-L
>>>> Lista acadêmica brasileira dos profissionais e estudantes da área de 
>>>> Lógica <logica-l@dimap.ufrn.br>
>>>> ---
>>>> 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/1175938501.20821532.1671491403083.JavaMail.zimbra%40ufba.br.
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
>>> <logica-l@dimap.ufrn.br>
>>> ---
>>> 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/CAOrCsLfksKOj1YoX6bAtx3awjKO9xvgtvyNZaM-MEpxewde5Qw%40mail.gmail.com.
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> <logica-l@dimap.ufrn.br>
> ---
> 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/CAOrCsLdPN%3DAcKjej0ovaz8iNykhjuPaoB8bRsPPP3gCy2jmn2g%40mail.gmail.com.

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
<logica-l@dimap.ufrn.br>
--- 
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/CADs%2B%2B6iA-FYH9z%3DxaskFrxq4J7M2L-GVgmbbAA938WxKusfE6g%40mail.gmail.com.

Responder a