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