Lógicos e mercado de trabalho

[a...@lia.ufc.br]

Olá a todos,

Os alunos da graduação do curso de Ciência da Computação, aqui na UFC, me
pediram para eu falar um pouco da área de lógica e, dentre outras coisas,
do mercado de trabalho. 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 :). Se tiverem um tempinho e
puderem me responder, podem usar o meu email particular (a...@lia.ufc.br).

Muito grata,
Ana

[Joao Marcos]

> 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/

[Adolfo Neto]

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://ieeexplore.ieee.org/abstract/document/6175516/

Adolfo

--
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+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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.

--

==================================================================
Adolfo Neto

Associate Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================

[a...@lia.ufc.br]

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://ieeexplore.ieee.org/abstract/document/6175516/
>
>
> Adolfo
>
> Em 26 de março de 2018 12:59, Joao Marcos <boto...@gmail.com> escreveu:
>
>> > 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+u...@dimap.ufrn.br.

>> Para postar neste grupo, envie um e-mail para logi...@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.
>>
>
>
>
> --
> ==================================================================
> Adolfo Neto
> Associate Professor - Federal University of Technology, Paraná
> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.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+u...@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@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/CANspyYV8j06914js9v1_f1NPDeOmKLxs5X_dgWe-z8%3DbRs%2Bnag%40mail.gmail.com.
>

[Valeria de Paiva]

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 querendo usar as tecnicas em seus processos de producao. mas nao 'e pesquisa-pesquisa e sim desenvolvimento. e logica e "aprendizado de maquina" (ML) teem uma relacao muito problematica, ne?

Todo mundo de logica quer falar de sistemas hibridos que tenham as melhores partes tanto de logica qto de ML, enquanto os caras de ML querem distancia.. eles estao felizes que nem pinto no lixo, com a quantidade de projetos, tecnicas, dados e principalmente funding que teem atualmente, ne?

Nao sei exatamente o que voce esta' querendo saber sobre

>> > experiência do uso da lógica em centros de pesquisa ou empresas

mas o uso de logica ate mesmo em AI esta' um tanto ameacado.
Todo mundo que faz computacao (que nem todos os matematicos) acha que nao precisa de logica, pois capacidade de raciocinio eles ja' teem.

Eu continuo  na minha cruzada individual de dizer que logica e' necessaria pra fazer agentes artificiais que nem Alexa ou Siri que realmente entendam sentencas. mas os metodos que estou usando sao muito mais de Linguistica Computacional do que de logica mesmo, no momento.

mas fique a vontade pra perguntar coisas mais especificas.

Abracos,

Valeria

>> um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

>> Para postar neste grupo, envie um e-mail para logi...@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.
>>
>
>
>
> --
> ==================================================================
> Adolfo Neto
> Associate Professor - Federal University of Technology, Paraná
> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.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+unsubscribe@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@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/CANspyYV8j06914js9v1_f1NPDeOmKLxs5X_dgWe-z8%3DbRs%2Bnag%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+unsubscribe@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@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/bb8ed7477dcde10406c26831f9e8fe62.squirrel%40www.lia.ufc.br.

--

Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/

[a...@lia.ufc.br]

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 para as mais diversas
profissões que exigem raciocínio lógico.

Beijos e abraços,
Ana

> 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 querendo
> usar as tecnicas em seus processos de producao. mas nao 'e
> pesquisa-pesquisa e sim desenvolvimento. e logica e "aprendizado de
> maquina" (ML) teem uma relacao muito problematica, ne?
> Todo mundo de logica quer falar de sistemas hibridos que tenham as
> melhores
> partes tanto de logica qto de ML, enquanto os caras de ML querem
> distancia.. eles estao felizes que nem pinto no lixo, com a quantidade de
> projetos, tecnicas, dados e principalmente funding que teem atualmente,
> ne?
>
> Nao sei exatamente o que voce esta' querendo saber sobre

>>> > experiência do uso da lógica em centros de pesquisa ou empresas

> mas o uso de logica ate mesmo em AI esta' um tanto ameacado.
> Todo mundo que faz computacao (que nem todos os matematicos) acha que nao
> precisa de logica, pois capacidade de raciocinio eles ja' teem.
> Eu continuo na minha cruzada individual de dizer que logica e' necessaria
> pra fazer agentes artificiais que nem Alexa ou Siri que realmente entendam
> sentencas. mas os metodos que estou usando sao muito mais de Linguistica
> Computacional do que de logica mesmo, no momento.
>
> mas fique a vontade pra perguntar coisas mais especificas.
> Abracos,
> Valeria
>
>
>
> 2018-04-02 5:15 GMT-07:00 <a...@lia.ufc.br>:
>

>> 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://ieeexplore.ieee.org/abstract/document/6175516/
>> >
>> >
>> > Adolfo
>> >
>> > Em 26 de março de 2018 12:59, Joao Marcos <boto...@gmail.com>
>> escreveu:
>> >
>> >> > 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+u...@dimap.ufrn.br.

>> >> Para postar neste grupo, envie um e-mail para logi...@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.
>> >>
>> >
>> >
>> >
>> > --
>> > ==================================================================
>> > Adolfo Neto

>> > Associate Professor - Federal University of Technology, Paraná
>> > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
>> > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.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+u...@dimap.ufrn.br.

>> > Para postar neste grupo, envie um e-mail para logi...@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/CANspyYV8j06914js9v1_f1NPDeOmKLxs5X_dgWe-z8%3DbRs%2Bnag%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+u...@dimap.ufrn.br.

>> Para postar neste grupo, envie um e-mail para logi...@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/bb8ed7477dcde10406c26831f9e8fe
>> 62.squirrel%40www.lia.ufc.br.

>>
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://research.nuance.com/author/valeria-de-paiva/
> http://www.cs.bham.ac.uk/~vdp/
>

> --
> 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+u...@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@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/CAESt%3DXvHcPU-hC-r%3DM36JQhPS-b%2BKs8uckn7QdLmRTuNjkwChA%40mail.gmail.com.
>

[Alexandre Rademaker]

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 figura principal eles têm vários provadores e muitos resultados de  projetos com a NASA. NASA tem longa tradição de aplicar FM. O laboratório de IA também tem vários projetos interessantes como o que formalizou um livro didático de biologia . Em 2011 tivemos o Vinay Chaudhri aqui no Brasil falando do projeto:

http://www.fgv.br/emap/logonto-2014/program.html

Na MS o João já lembrou do Leonardo Moura , respeitado na comunidade SMT e agora trabalhando com type theory no lean prover.

Até onde vcs querem pensar lógica? Apenas pesquisas teóricas e ferramentas ? Senão ...

 

Adam Pease com a SUMO ontology tem vários projetos com indústria, lembro do eBay ter sido um caso. A Cyc ontology, o Michael Witbrock tá agora na IBM Yorktown.

São diversos projetos de ontologias para formalização de domínios como biologia , medicina , geologia etc. Além das upper ontologies acima temos outras tantas: DOLCE, BFO etc. 

Me avise se precisar de mais referências ! ;-)

Alexandre

Sent from my iPhone

--
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+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYV8j06914js9v1_f1NPDeOmKLxs5X_dgWe-z8%3DbRs%2Bnag%40mail.gmail.com.

[Alexandre Rademaker]

Eu na IBM Research Brazil

Sent from my iPhone

> --
> 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+u...@dimap.ufrn.br.

[Vivek Nigam]

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

>> um e-mail para logica-l+u...@dimap.ufrn.br.

>> Para postar neste grupo, envie um e-mail para logi...@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.
>>
>
>
>
> --
> ==================================================================
> Adolfo Neto
> Associate Professor - Federal University of Technology, Paraná
> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.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+u...@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@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/CANspyYV8j06914js9v1_f1NPDeOmKLxs5X_dgWe-z8%3DbRs%2Bnag%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+u...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@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/bb8ed7477dcde10406c26831f9e8fe62.squirrel%40www.lia.ufc.br.

--

Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/

--
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+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvHcPU-hC-r%3DM36JQhPS-b%2BKs8uckn7QdLmRTuNjkwChA%40mail.gmail.com.

[a...@lia.ufc.br]

Bom dia!

Obrigada ao Vivek e Alexandre por mais informações. Como será um vídeo
informal e curto, as respostas que recebi já são suficientes para ilustrar
como alguém da área de lógica pode atuar fora das universidades usando
seu conhecimento em lógica. Eu queria exemplos concretos e já tenho o
suficiente.

Muito grata,
Ana


> 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
> <valeria...@gmail.com>
> wrote:
>
>> 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 querendo
>> usar as tecnicas em seus processos de producao. mas nao 'e
>> pesquisa-pesquisa e sim desenvolvimento. e logica e "aprendizado de
>> maquina" (ML) teem uma relacao muito problematica, ne?
>> Todo mundo de logica quer falar de sistemas hibridos que tenham as
>> melhores partes tanto de logica qto de ML, enquanto os caras de ML
>> querem
>> distancia.. eles estao felizes que nem pinto no lixo, com a quantidade
>> de
>> projetos, tecnicas, dados e principalmente funding que teem atualmente,
>> ne?
>>
>> Nao sei exatamente o que voce esta' querendo saber sobre
>>

>> >> > experiência do uso da lógica em centros de pesquisa ou empresas

>> mas o uso de logica ate mesmo em AI esta' um tanto ameacado.
>> Todo mundo que faz computacao (que nem todos os matematicos) acha que
>> nao
>> precisa de logica, pois capacidade de raciocinio eles ja' teem.
>> Eu continuo na minha cruzada individual de dizer que logica e'
>> necessaria
>> pra fazer agentes artificiais que nem Alexa ou Siri que realmente
>> entendam
>> sentencas. mas os metodos que estou usando sao muito mais de Linguistica
>> Computacional do que de logica mesmo, no momento.
>>
>> mas fique a vontade pra perguntar coisas mais especificas.
>> Abracos,
>> Valeria
>>
>>
>>
>> 2018-04-02 5:15 GMT-07:00 <a...@lia.ufc.br>:
>>

>>> 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://ieeexplore.ieee.org/abstract/document/6175516/
>>> >
>>> >
>>> > Adolfo
>>> >
>>> > Em 26 de março de 2018 12:59, Joao Marcos <boto...@gmail.com>
>>> escreveu:
>>> >

>>> >> > 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+u...@dimap.ufrn.br.
>>> >> Para postar neste grupo, envie um e-mail para
>>> logi...@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.
>>> >>
>>> >
>>> >
>>> >
>>> > --
>>> > ==================================================================
>>> > Adolfo Neto

>>> > Associate Professor - Federal University of Technology, Paraná
>>> > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
>>> > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.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+u...@dimap.ufrn.br.
>>> > Para postar neste grupo, envie um e-mail para logi...@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/CANspyYV8j06914js9v1_f1NPDeOmKLxs5X_dgWe-z8%3DbRs%2Bnag%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+u...@dimap.ufrn.br.
>>> Para postar neste grupo, envie um e-mail para logi...@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/bb8ed7477dcde10406c26831f9e8fe62.squirrel%40www.lia.ufc.br
>>> .

>>>
>>
>>
>>
>> --
>> Valeria de Paiva
>> http://vcvpaiva.github.io/
>> http://research.nuance.com/author/valeria-de-paiva/
>> http://www.cs.bham.ac.uk/~vdp/
>>
>> --

>> 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+u...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvHcPU-hC-r%3DM36JQhPS-b%2BKs8uckn7QdLmRTuNjkwChA%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvHcPU-hC-r%3DM36JQhPS-b%2BKs8uckn7QdLmRTuNjkwChA%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+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@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/CAFx3SPJtSi-pbLV6WaRHtFddKKePk9NVaEDQ7pgPNdgj861knw%40mail.gmail.com.
>