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.
