1) A Complexidade Computacional das Variáveis Aleatórias com Distribuições Uniforme, Exponencial e Pareto nas Formas Real e Intervalar – Alice F. Finger, Aline B. Loreto, Vinícius S. Furlan

2) Applying a Method to Extend Lattice-valued QL-implications – Eduardo Palmeira, Benjamin Bedregal

3) Automatic Translation from UML to Simulink CAAM – Andrei Costa, Vinícius Pazzini, Luciana Foss, Simone A. C. Cavalheiro, Lisane B. de Brisolara, Flávio R. Wagner

4) 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

5) Fuzzy f-Xor Class and dual Constructions – Rosana M. Zanotelli, Renata H. Reiser, Simone Cavalheiro, Luciana Foss

6) Fuzzy implications obtained by n-ary aggregation operators – Íbero Benítez, Renata Reiser, Adenauer Yamin, Benjamin Bedregal

7) Fuzzy α-Ideals of Product on Bounded Fuzzy Lattices – Ivan Mezzomo, Benjamín Bedregal, Regivan H. N. Santiago, Renata H.S. Reiser

8) Modelagem em Programação Linear para Resolução de Jogos Fuzzy – Stephanie Loi Brião, Graçaliz Pereira Dimuro, Catia Maria dos Santos Machado

9) N-GRAPHML: Gramática e Linguagem para Representação de Grafos-de-Prova – Daniel Vaz dos Santos, Gleifer Vaz Alves

10) Notes On Fuzzy S-X(N)Or Connectives – Diego P. Jaccottet, Renata H. Reiser, Adenauer Yamin, Benjamín Bedregal

11) Obtendo a qualidade de uma partição com o Adjusted Rand Index – Rogério R. de Vargas, Benjamín R. C. Bedregal

12) Otimizações na Biblioteca Int-Haar Para Aumento de Exatidão de Cálculo – Vinícius R. dos Santos, Maurício Pilla, Renata Reiser, Alice Kozakevicius

13) Parallel Algorithm for the HP Protein Folding Problem – Matheus M. dos Santos, Maurício G. Goulart, Giovana J. Gelatti, Karina S. Machado, Adriano V. Werhli, Odorico M. Mendizabal

14) Proposta de Alocação de Redes Virtuais Baseada em DCOP – Alexander R. Gularte, Odorico Machado Mendizabal, Raquel de Miranda Barbosa, Diana Francisca Adamatti

15) Quantum Monad using Java Closures – Bruno Crestani Calegaro, Juliana Kaiser Vizzotto

16) Simulating the Quantum Fourier Transform – Francisco Revson F. Pereira, Elloá B. Guedes, Francisco M. de Assis

17) Toward a Formal Reconstruction of Kelsen’s Theory of Legal Systems – Antônio Carlos da Rocha Costa

18) Towards aggregating fuzzy s-Xor connectives – Alexandre Lemke, Renata Reiser, André Du Bois, Maurício Pilla

19) Towards the use of Proof Tactics for Theorem Proving Graph Grammars through Rodin – Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss

20) Uma discussão introdutória sobre os desafios e as necessidades à implementação do Pensamento Computacional no ensino fundamental e médio no Brasil – Tainã Carvalho, Daiane Andrade, Jayne Silveira, Simone Cavalheiro, Marilton Aguiar, Luciana Foss, Ana Marilza Fleischmann, Renata Reiser

21) Uma Linguagem de Domínio Específico Baseada em Mônadas para Transações Distribuídas em Java – Jerônimo da Cunha Ramos, André Rauber Du Bois, Maurício Lima Pilla

22) Uma nova forma de obter os centroides iniciais dos grupos no algoritmo Fuzzy C-Means – Heloína Alves Arnaldo, Benjamín R. C. Bedregal

23) Using Graph Grammars to specify populational level of Multi-Agent System Organizations – André Moura de Mello, Luciana Foss, Simone A. da Costa Cavalheiro

24) Validando a Biblioteca qGMc-Analyzer para Simulação em Arquiteturas Multicore – Murilo F. Schmalfuss, Renata H. S. Reiser, Maurício L. Pilla

25) Verificação Epistêmico-Temporal via Tradução – Thiago Coelho Vieira, Cláudia Nalon