Artigos Premiados

Na reunião dos comitês de organização e de programa foram definidos os 5 melhores artigos do workshop. Durante o jantar do evento foram premiados os seguintes artigos:

  • Applying a Method to Extend Lattice-valued QL-implications (Eduardo Palmeira, Benjamin Bedregal)
  • Especificação de modelos baseados em contextos através de Gramática de Grafos (Marcos A. Oliveira Jr., Leila Ribeiro, Lucio Mauro Duarte, Erika Cota)
  • Fuzzy implications obtained by n-ary aggregation operators (Íbero Benítez, Renata Reiser, Adenauer Yamin, Benjamin Bedregal)
  • Quantum Monad using Java Closures (Bruno Crestani Calegaro, Juliana Kaizer Vizzotto)
  • Towards the use of Proof Tactics for Theorem Proving Graph Grammars through Rodin (Luiz Carlos Lemos Junior, Simone A. da C. Cavalheiro, Luciana Foss)