Eu na IBM Research Brazil Sent from my iPhone
On 26 Mar 2018, at 12:59, Joao Marcos <botoc...@gmail.com> wrote: >> Afora pesquisa em Universidades, alguém tem alguma >> experiência do uso da lógica em centros de pesquisa ou empresas que possa >> me relatar? Lembrei da Valéria de Paiva :). > > Vale lembrar também do Leonardo de Moura (Microsoft), Vivek Nigam > (Fortiss), David Déharbe (ClearSy System Engineering)... > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > > -- > 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgCUfKMAdfh8AbEuiHzd8KxkAY%3DpEh69uetLZx0fSHBHg%40mail.gmail.com. -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FF8FA686-86F3-46C3-B6FF-83E95E3C8BAA%40gmail.com.