Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-12 Por tôpico Marcos Silva
Obrigado, meus caros. é uma honra representar a pesquisa feita no Brasil desta forma. Eu acredito que os últimos anos em contatos com tanta gente talentosa em discussões de alto nível nesta lista e fora dela, por exemplo, em eventos promovidos pela SBL, por Campinas e por Natal ajudaram bastante

Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-12 Por tôpico Marcelo Finger
Parabéns, Marcos! Em 11 de jan de 2017 19:01, "Joao Marcos" escreveu: > Parabéns ao Marcos Silva, que acabou de ganhar o prêmio > "Junior Faculty Member" da Fulbright > http://fulbright.org.br/wp-content/uploads/2016/02/ > Fulbright-Jr.-Faculty-Award-2016-2017.pdf > para ir dar uma mãozinha ao R

[Logica-l] Re: SBL: student membership to ASL in 2017 - solicitação direta de candidaturas

2017-01-12 Por tôpico Joao Marcos
É meu prazer anunciar aqui a lista de estudantes que serão beneficiados em 2017 pela oportunidade oferecida pela Sociedade Brasileira de Lógica de associação à Association for Symbolic Logic, com todos os benefícios correspondentes: UFBA Diego Lima Bomfim (Supervisor: Samuel da Silva) UFF Rodrigo

[Logica-l] BOOK: Logic as a Tool: A Guide to Formal Logical Reasoning

2017-01-12 Por tôpico Joao Marcos
Mais um livro recentemente publicado que pode ser de interesse para alguns membros desta lista: Logic as a Tool: A Guide to Formal Logical Reasoning Valentin Goranko Wiley ISBN: 978-1-118-88000-5 384 pages October 2016 Abraços, JM -- Você está recebendo esta mensagem porque se inscr

Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-12 Por tôpico Walter Carnielli
Também de minha parte, Marcos, meus sinceros parabéns, de alguem que tem, de certa forma, acompanhado sua carreira, abraços, Walter Em 12/01/2017 10:33, "Marcelo Esteban Coniglio" escreveu: > Parabéns Marcos!! > > Grande abraço > > Marcelo > > Em 11 de jan de 2017 20:01, "Joao Marcos" escreveu

[Logica-l] TABLEAUX / ITP / FroCoS

2017-01-12 Por tôpico Joao Marcos
Sempre bom recordar: neste ano os principais eventos internacionais de Lógica organizados no Brasil ocorrerão no Centro-Oeste. A não perder! JM * * * 8th INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING (ITP 2017) Call for Papers Brasilia, Brazil - 25-29 September 2017 Co-located with TA

Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-12 Por tôpico Jorge Alberto Molina
Parabéns Marcos, um grande abraço. Jorge Molina Em 12 de janeiro de 2017 11:21, Abílio escreveu: > Fala Marcos > Parabens rapaz! > Tá no caminho certo!! > Aquele abraço > Abilio > > 2017-01-12 10:31 GMT-02:00 Marcelo Esteban Coniglio >: > > Parabéns Marcos!! > > > > Grande abraço > > > > Marc

Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-12 Por tôpico Abílio
Fala Marcos Parabens rapaz! Tá no caminho certo!! Aquele abraço Abilio 2017-01-12 10:31 GMT-02:00 Marcelo Esteban Coniglio : > Parabéns Marcos!! > > Grande abraço > > Marcelo > > Em 11 de jan de 2017 20:01, "Joao Marcos" escreveu: >> >> Parabéns ao Marcos Silva, que acabou de ganhar o prêmio >> "

Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-12 Por tôpico Marcelo Esteban Coniglio
Parabéns Marcos!! Grande abraço Marcelo Em 11 de jan de 2017 20:01, "Joao Marcos" escreveu: > Parabéns ao Marcos Silva, que acabou de ganhar o prêmio > "Junior Faculty Member" da Fulbright > http://fulbright.org.br/wp-content/uploads/2016/02/ > Fulbright-Jr.-Faculty-Award-2016-2017.pdf > para

Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-12 Por tôpico Famadoria
Parabéns, Marcos ! Sent from my iPhone > On 11 Jan 2017, at 19:59, Joao Marcos wrote: > > Parabéns ao Marcos Silva, que acabou de ganhar o prêmio > "Junior Faculty Member" da Fulbright > http://fulbright.org.br/wp-content/uploads/2016/02/Fulbright-Jr.-Faculty-Award-2016-2017.pdf > para ir dar u