Oi Joao,
Se for para engenheiros, vc pode se inspirar no EARS para a escrita de
requisitos.
É basicamente uma linguagem controlada que pode ser traduzida para LTL e
usada para a verificação formal e síntese de sistemas.
Achei a seguinte referência, mas existem muitas outras.
https://www.research
pacotes similares.
Como tudo é compilado usando LaTex a qualidade é similar.
Abraços,
-
Vivek Nigam
http://www.nigam.info/
On Thu, Nov 10, 2022 at 6:55 AM Eduardo Ochs wrote:
> Oi gente,
>
.
Abraços,
-
Vivek Nigam
http://www.nigam.info/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu
-
Vivek Nigam
http://www.nigam.info/
-- Forwarded message -
From: David Baelde
Date: Mon, Feb 7, 2022 at 12:33 PM
Subject: [PT] CFP : Logical Frameworks and Meta-Languages
m/a/dimap.ufrn.br/d/msgid/logica-l/280f8456-e28b-4b63-a9ff-5307a95c9509n%40dimap.ufrn.br
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/280f8456-e28b-4b63-a9ff-5307a95c9509n%40dimap.ufrn.br?utm_medium=email&utm_source=footer>
> .
>
--
---
-
Vivek Nigam
http://www.nigam.info/
-- Forwarded message -
From: Kyungmin Bae
Date: Tue, Nov 30, 2021 at 7:31 AM
Subject: [[Maude-users] ] 2nd CfP: 14th International
-7113-0801
> Lattes: http://lattes.cnpq.br/3298246411086415
>
>
> --
> 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
n)
José Meseguer(University of Illinois at Urbana-Champaign, USA)
Aart Middeldorp (University of Innsbruck, Austria)
Vivek Nigam (Federal University of Paraíba, Brazil)
Kazuhiro Ogata (JAIST, Japan)
Peter Ölveczky (University of Oslo, Norwa
lino
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na
d2019/
Program Committee
=
Vivek Nigam (Chair), fortiss GmbH / Federal University of Paraíba
Joachim Niehren (co-Chair), Inria, Lille
Tajana Ban Kirigin, University of Rijeka
Stefan Ciobaca, Alexandru Ioan Cuza University, Iasi
Santiago Escobar, Universitat Politècnica de València
Jan Hof
ittee
=
Vivek Nigam (Chair), fortiss GmbH / Federal University of Paraíba
Joachim Niehren (co-Chair), Inria, Lille
Tajana Ban Kirigin, University of Rijeka
Stefan Ciobaca, Alexandru Ioan Cuza University, Iasi
Santiago Escobar, Universitat Politècnica de València
Jan Hoffmann, Carnegie M
ormal proceedings.
Weblinks
* EasyChair Submission Website
https://easychair.org/conferences/?conf=wpte2019
* Homepage of WPTE 2019
http://nigam.info/conferences/wpte2019/main.html
* FSCD 2019
http://easyconferences.eu/fscd2019/
Program Committee
=
Vivek Nigam (Chair), fo
ormal proceedings.
Weblinks
* EasyChair Submission Website
https://easychair.org/conferences/?conf=wpte2019
* Homepage of WPTE 2019
http://nigam.info/conferences/wpte2019/main.html
* FSCD 2019
http://easyconferences.eu/fscd2019/
Program Committee
=
Vivek Nigam (Chair), fo
de São Paulo
>> > http://ieeexplore.ieee.org/abstract/document/6175516/
>> >
>> >
>> > Adolfo
>> >
>> > Em 26 de março de 2018 12:59, Joao Marcos
>> escreveu:
>> >
>> >> > Afora pesquisa e
, Netherlands)
Warren A. Hunt, Jr. (University of Texas Austin, USA)
Rustan Leino (Microsoft Research, USA)
Assia Mahboubi (Inria, France)
Alberto Momigliano (Università degli Studi di Milano, Italy)
Magnus Myreen (Chalmers University of Technology, Sweden)
Vivek Nigam (Federal University of Paraíba, Brazil
Delft University of Technology
Vivek Nigam Federal University of Paraíba
Matija PretnarUniversity of Ljubljana
Azalea Raad Imperial College London
Aseem Rastogi Microsoft Research
Filip Sieczkowski University o
rsity, Germany
Thierry Lecomte ClearSy System Engineering, France
Yang Liu Nanyang Technological University, Singapore
Robi Malik University of Waikato, New Zealand
Frederic Mallet INRIA Sophia Antipolis, France
Roberto Nardone University of Napoli "Federi
o mesmo perfume que a partrôa, falando no mesmo
celular a patrôa, viajando de avião como a patrôa.
-
Vivek Nigam
Computer Science Department
Federal University of Paraíba
http://www.nigam.info
Brasil*
> *http://www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/~dkrause>*
> *------*
>
> Em 30/01/2014, às 17:46, Vivek Nigam escreveu:
>
> Caros colegas,
>
> Um colega da UFPB, Alexandre Duarte, programou alguns bots para e
-universal/
Eu achei bem interessante os dados.
Abraços,
Vivek
-
Vivek Nigam
Computer Science Department
Federal University of Paraíba
http://www.nigam.info/
2014-01-30 Rodrigo Oliveira
)
Cesar Munoz (NASA)
Vivek Nigam (Paraıba)
Luke Ong (Oxford)
Brigitte Pientka (McGill)
Femke van Raamsdonk (Amsterdam)
Jakob Rehof (Dortmund)
David Sabel (Frankfurt)
Gernot Salzer (Wien)
Sylvain Salvati (Inria)
Aleksy Schubert (Warszawa)
Peter Selinger (Dalhousie)
Paula Severi (Leicester)
Christian
as!
Vivek
-----
Vivek Nigam
Computer Science Department
Federal University of Paraíba
http://www.nigam.info/
2013/12/22 Valeria de Paiva
> oi Adolfo,
> Chegando atrasada nessa conversa, eu queria
Só uma observação, um dos autores do trabalho é brasileiro: Bruno
Woltzenlogel Paleo.
On Wed, Oct 30, 2013 at 11:30 PM, Joao Marcos wrote:
>
> http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html
>
> já não é mais segredo:
Caro Enrique,
Acho que o grande problema da cultura de pesquisa no Brasil é grande ênfase
em números. A minha impressão depois de um pouco mais de um ano de volta ao
Brasil é que os problemas que você cita vem do processo exagerado de
avaliação de pesquisadores através de métodos objetivos mas ine
Caros Colegas,
Eu chamo a atenção ao *Humboldt Kolleg* sobre Provas/Demonstrações que
ocorrerá em Bern, Suíça. Muitos nomes importantes da lógica e teoria de
provas irão participar deste evento. Mais informação se encontram no site:
www.humboldt-kolleg.iam.unibe.ch/hb_program.html
Abraços,
Vive
Não entendi o objetivo de divulgar publicamente esta lista de nomes,
especialmente os nomes das pessoas que estão sem bolsa. De qq forma, eu não
faço questão de infomar que eu também trabalho com tópicos relacionados à
lógica e sou PQ 2.
Vivek
2013/8/14 Adolfo Neto
> Por mim, a bolsa do jeito
Caros Colegas,
Depois da visita da Carolyn Talcott do SRI, eu estou recebendo pelos
próximos dias a visita do Prof. Martin Hofmann, até o dia 14/06, aqui em
João Pessoa. Talvez interessem a comunidade de lógica o tema que ele estará
falando no nosso seminário da pós-graduação em informática (SPIN)
Entrando na moda do carnaval de citações, seguem mais dois lógicos na lista:
Vivek Nigam - 166
Elaine Pimentel - 123.
2013/2/15 Adolfo Neto
> É João,
>
> Acho que você vai ter que "tucanar" o nome do seu grupo.
>
> Sugestão: Iracema.
>
> []s
> Adolfo
&g
Olá a todos,
Eu só gostaria de sugerir um plug-in que eu encontrei muito útil para
aqueles que amam Latex e tem Gmail:
GMAILTEX
http://alexeev.org/gmailtex.html
Você pode escrever os seus e-mails no GMail usando notação próxima do Latex
e o plug-in compila os símbolos substituindo-os pelos símbo
Olá Valéria,
Provavelmente você já conhece este artigo
D. Garg and F. Pfenning. Non-interference in constructive authorization
logic. In CSFW, pages 283–296. IEEE Computer Society, 2006.
Deepak e Frank dão justificativas para o uso de sistemas construtivos
diferentes do Curry-Howard. Na minha op
Caros,
O grande problema de beamer, como muitos de vocês devem ter percebido, é
que tudo tem que ser programado em LaTex. Portanto, desenhar uma figura
em um slide acaba dando muito trabalho, o que não favorece a criatividade.
Por outro lado, os sistemas Office, como Powerpoint, facilitam o
desen
Caros colegas brasileiros,
Ao verificar a lista de jornais e suas notas no Qualis, acessando o link
abaixo,
http://www.dainf.ct.utfpr.edu.br/~adolfo/etc/docs/WebqualisComputacao.html
eu fiquei surpreso que Electronic Notes in Theoretical Computer Science
(ENTCS) tem uma
nota tão alta: B2.
ENTCS
Ola Rodrigo,
Esse problema eh chamado de "Knowledge Updates" na literatura de IA. Existem
algumas linguagens de programacao logica baseadas na teoria de modelos que
formalizam a sua intuicao de atualizar o conhecimento de um robo. Eu posso
lhe indicar os papers do Prof. Joao Leite, em special, sua
Ola a todos,
Acabei de descobrir que Robin Milner faleceu no fim de semana passada.
Uma grande perda para a communidade.
Abracos,
Vivek
-- Forwarded message --
From: Gordon Plotkin
Date: Mon, Mar 22, 2010 at 9:51 AM
Subject: [TYPES] Very sad news
To: types-l...@lists.seas.upenn
Ola a todos,
Eu me chamo Vivek Nigam, sou mais um brasileiro que cursou o
Programa Europeu de Mestrado em Logica Computacional (Erasmus Program). Eu
cursei o mestrado nos anos entre 2004-2006, o primeiro ano em Dresden e o
segundo em Lisboa. Depois de ler o depoimento do Bruno Paleo
35 matches
Mail list logo
