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 <[email protected]> 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 [email protected]. >> Para postar neste grupo, envie um e-mail para [email protected]. >> 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 [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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.
