Ola Ana,
Estamos falando de pessoas e projetos ? Nossa tem muita coisa... IBM tem um
grupo em Haifa forte de métodos formais e SMT também existem ainda alguns
lógicos em Almaden e Yorktown. Aqui no Brasil eu trabalho com linguagem.
SRI no laboratório de C.S. tendo o Natarajan Shankar como figu
Cara Ana,
Aqui na fortiss usamos métodos de verificação de software/hardware que
utilizam princípios e formalismos lógicos.
Eu precisaria de mais informação para te responder melhor...
Abraços,
Vivek
On Mon, Apr 2, 2018 at 4:01 PM Valeria de Paiva
wrote:
> oi Ana,
> desculpe a demora, nao tin
Eu na IBM Research Brazil
Sent from my iPhone
On 26 Mar 2018, at 12:59, Joao Marcos 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
Oi Valéria,
Obrigada por suas explicações.
Lembrei também do Yuri Gurevich, famoso na área de Finite Model Theory e
que trabalha na Microsoft. Talvez sua pesquisa em lógica tenha ajudado
seus trabalhos em complexidade computacional e banco de dados.
Lembrei também do ENEM e de vários concursos p
Caros colegas,
o grupo "Linguagem e Cognição" da UFAL tera o prazer de receber a visita do
destacado professor Plinio Smith (UNIFESP) na ufal em abril (17-18) para
palestra e minicurso sobre neo-pirronismo.
mais informações:
http://www.ichca.ufal.br/graduacao/filosofia/?p=2757
todos os interessa
oi Ana,
desculpe a demora, nao tinha visto!
Mas concordo com o JM que outros sao mais indicados, pois o meu trabalho
nao 'e em logica matematica diretamente.
Centros de pesquisa industrial teem se multiplicado recentemente por aqui,
por causa de "machine learning advances" e das muitas empresas
Olá a todos,
Muito grata a todos que me responderam nesta lista e no meu email particular.
Abraços e boa semana,
Ana
> Olá,
>
> Não tenho experiência.
>
> Acredito que o Aryldo Russo https://br.linkedin.com/in/aryldo
> tenha trabalhado com especificação formal no metrô de São Paulo
> http://iee
* Please accept our apologies if you receive multiple copies of this call *
==
Call for Papers
DARe at IJCAI-ECAI 2018
Date: July 13, 14 or 15 (half-day workshop, date TBC)
Stockholm, Sweden
*** Deadline: 5 May 2018 ***
==
The Fifth Inter