Tweet
Formal Methods Group at Informatics Departament/PUC-Rio
O TecMF tem por objetivo a pesquisa, o desenvolvimento e a aplicação de tecnologia formal, isto é, que utiliza modelos matemáticos , lógicos e baseados em conhecimento, no apoio ao processo de desenvolvimento de software em todas as suas fases. Gostamos de aplicar Teoria da Prova, Teoria das Categorias, Sistemas Lógicos e Prova Assistida de Teoremas em Ciência da Computação em geral, particularmente em desenvolvimento e validação de sistemas, modelos de computação e complexidade computacional.
O grupo desenvolveu técnicas e ferramentas em transformação de programas, de 1993 a 2001, na geração de programas a partir de especificações de alto nível tanto quanto a sua aplicação ao problema de código legado. De de 2002 a 2012, o grupo desenvolveu técnicas e modelos lógico/formais com o objetivo de modelagem e validação de sistemas antecipatórios e com semânticas baseadas em Jogos e outros modelos de racionalidade., juntamente com um verificadore de modelos baseados em jogos. Usamos Teoria das Categhorias na modelagem e esppecificação de interoperabilidade formal em arquiteturas de software e sistemas baseados em conhecimento, ou ontologias. A partir de 2008 desenvolvemos lógicas e modelos para a representação de conhecimeto legal (Legal Ontologies) e normativo. Aplicações em refinamento e análise formal de conformidade de bases de conhecimento normativo para o mercado de segurança da informação, resolução de paradoxos legais e putras aplicações mais sofisticadas. Atualmente o grupo está bastante envolvido em torno da complexidade computacional de provas de teoremas e obtenção de provas curtas em lógica proposicional.
Talks
2019
Regina Motz (IC - URU) - 10/12/2019
Alberto Prado (IC - URU) - 03/12/2019
Hermann Haeusler (DI - PUC-Rio) - 22/10/2019
Bruno Lopes (IC - UFF) - 08/10/2019
Eduardo Ochs (UFF) - 10/09/2019
Jean-Baptiste Joinet (Université de Lyon) - 27/08/2019
- Bernardo Alkmim (DI - PUC-Rio) - 02/07/2019
- Carlos Brito (UFC) - 25/06/2019
Robinson Callou (PUC-Rio) - 11/06/2019
Alexandre Rademaker (FGV-Rio) - 04/06/2019
- Carlos Brito (UFC)- 14/05/2019
João Barroca (UFJV - Rio) - 30/04/2019
Cecilia Englander (PUC-Rio) - 09/04/2019
2018
- Alexandre Rademaker - 30/10/2018
Narciso Martí-Oliet (UCM - Madri) - 23/10/2018
Tiago Alves (Filosofia - PUC-Rio) - 02/10/2018
Bernardo Alkmim (DI - PUC-Rio) - 25/09/2018
- Carlos Eduardo Brito (UFC) - 18/09/2018
Yannis Papakonstantinou (Amazon/UCSD) - 04/09/2018
Hermann Haeusler (DI - PUC-Rio) - 21/08, 28/08 e 11/09/2018
Thomas Seiller (Univ. Paris XIII) - 07/08/2018
Hermann Haeusler (DI - PUC-Rio) - 17/06/2018
- Hermann Haeusler (DI - PUC-Rio) - 10/07/2018
Cecilia Englander (DI - PUC-Rio) - 12/06/2018
Alberto Pardo (URU, Uruguai) - 05/06/2018
Andre Metelo (IC - UFF) - 15/05/2018
2016:
2015:
2014:
2013:
2012:
- Jean-Baptist Joinet (Université de Lyon)
2011:
- I Workshop on Logic and Semantics
- Gilles Dowek (École polytechnique)
- Maël Pegny (Université Paris 1)
2010:
- Thomas Piecha (University of Tuebingen)
2009:
2007:
2006:
Event Count Automata: A State-based Model for Stream Processing Systems (Samarjit Chakraborty)
Palestra Convergence in the Philosophy of Mathematics (Prof. Edward Zalta)