O programa pode ser baixado aqui em pdf ou visualizado abaixo.
DIA 1 - 04/07
8:30 - 8:55 – Abertura (Rosiane de Freitas - UFAM) e Lançamento I Desafio de Algoritmos, Combinatória e Otimização – DACO (Vinicius dos Santos - UFMG) e Claudson Bornstein-UFRJ)
8:55 - 9:10 – A área de Teoria da Computação no Brasill (Jayme Szwarcfiter - UFRJ)
9:10 - 10:30 – Sessão técnica I
Minimal Obstructions of (2,1)-cographs with external restrictions
Raquel Bravo (UFF - Brasil), Fabio Protti (UFF - Brasil), Loana Nogueira (UFF - Brasil), Cláutenis Viana (IFPI – Brasil)
On Linial's Conjecture for Split Digraphs
Maycon Sambinelli (UNICAMP- Brasil), Orlando Lee ( UNICAMP - Brasil), Cândida Silva (UFSCar - Sorocaba – Brasil)
On Colored Edge Cuts in Graphs
Luerbio Faria (UERJ - Brasil), Sulamita Klein (UFRJ - Brasil), Ignasi Sau (CNRS, LIRMM, Montpellier - France), Uéverton Souza (UFF - Brasil), Rubens Sucupira (UERJ – Brasil)
Frustração de Arestas em (3,6)-Fullerenes
Diego Nicodemos (UFRJ - Brasil), Sulamita Klein (UFRJ - Brasil), Luerbio Faria (UERJ – Brasil)
10:30 - 11:00 – Coffee-break
11:00 - 11:40 – Lógica em Computação, IA e Cognição (Luis C. Lamb - UFRGS)
11:40 - 13:20 – Sessão técnica II
Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers
Thiago Rocha (IFCE - Brasil), Ana Teresa Martins (UFC - Brasil)
A Gramática de Grafos como uma alternativa para o desenvolvimento do Pensamento Computacional na Educação Básica
Braz Junior (UFPel - Brasil), Simone Cavalheiro ( UFPel - Brasil), Luciana Foss ( UFPel – Brasil)
Sobre coloração total dos grafos r-partidos completos
Raphael Martins (UERJ -Brasil), Diana Sasaki (Université Paris Dauphine – France)
Amostragem Gaussiana na Criptografia Baseada em Reticulados
Jheyne N. Ortiz (UNICAMP - Brasil), Ricardo Dahab ( UNICAMP - Brasil), Diego Aranha ( UNICAMP – Brasil)
Achieving CCA1-security in homomorphic encryption
Eduardo Morais (UNICAMP - Brasil), Diego Aranha ( UNICAMP - Brasil), Ricardo Dahab ( UNICAMP - Brasil)
13:30 - 14:30 – Almoço
14:30 - 16:30 – SECOMU
16:30 - 17:00 – Coffee-break
17:00 - 17:40 – Intratabilidade e Otimização: uma Homenagem ao David Johnson (Celina de Figueiredo - UFRJ e Luciana Buriol - UFRGS)
17:40 –18:40 – Sessão técnica III
Análise de um algoritmo aproximativo para o problema de escalonamento de tarefas com restrições de precedência em máquinas paralelas idênticas
Elton Lever (UFAM - Brasil), Omar Vilca (UFAM - Brasil), Rosiane de Freitas (UFAM – Brasil)
Some families of 0-rotatable graceful caterpillars
Atílio Luiz ( UNICAMP - Brasil), C. N. Campos (UNICAMP-Brasil), Bruce Richter (University of Waterloo – Canada)
Computação sobre dados cifrados em GPGPUs
Pedro Alves (UNICAMP - Brasil), Diego Aranha ( UNICAMP - Brasil)
18:40 - 19:20 – Exposição de Pôsteres
Stochastic scenario generation: an empirical approach
Alan Delgado de Oliveira (UFRGS - Brasil), Tiago Filomena (UFRGS – Brasil)
Análise e Comparação dos Algoritmos de Dijkstra e A-Estrela na Descoberta de Caminhos Mínimos em Mapas de Grade
Marcel Rios (UFAM - Brasil), Francisco S.S Neto (UFAM - Brasil), José Francisco Netto (UFAM – Brasil)
Um modelo RCPSP para Gestão Ágil Scrum
Osmar Leandro Dantas da Silva (IFCE - Brasil), Emanuel Dantas Filho (IFCE - Brasil), Diego Rocha Lima (IFCE – Brasil)
KM-Finder: Uma Ferramenta para Detecção de Motivos
Lucas Vilhagra (UFMS - Brasil), Luciana Montera (UFMS - Brasil), Taina Alencar (FIOCRUZ - Brasil)
Estruturas de Dados Probabilísticas para Representação de Conjuntos
Juan Lopes (UERJ - Brasil), Paulo Pinto (UERJ - Brasil), Fabiano Oliveira (UERJ – Brasil)
Análise Empírica do Algoritmo Shellsort
Paulo Pinto (UERJ - Brasil), Fabiano Oliveira (UERJ - Brasil), Raquel Souza (UERJ – Brasil)
DIA 2 - 05/07
8:30 - 9:50 – Sessão técnica IV
Algoritmos Branch-and-Price para o Problema de Empacotamento em Recipientes com Restrições de Classe
Yulle Glebbyo Felipe Borges (UNICAMP - Brasil), Flávio Miyazawa (UNICAMP - Brasil), Rafael Schouery (UNICAMP - Brasil), Eduardo Xavier (UNICAMP – Brasil)
Uma Aproximação para o Problema de Alocação de Terminais
Lehilton Pedrosa (UNICAMP - Brasil), Vinicius dos Santos (UFMG - Brasil), Rafael Schouery (UNICAMP – Brasil)
UKP5: Solving the Unbounded Knapsack Problem
Henrique Becker (UFRGS - Brasil), Luciana Buriol (UFRGS – Brasil)
Uma Abordagem baseada nas Preferências dos Docentes para o Problema de Programação de Horários em Universidades
Osmar Leandro Dantas da Silva (IFCE - Brasil), Diego Rocha Lima (IFCE - Brasil)
9:50 - 10:30 – Problemas de Edição de Arestas em Grafos (Luiz Satoru Ochi - UFF)
10:30 - 11:00 – Coffee-break
11:00 - 13:00 – Sessão técnica V
On a Leasing Variant of the Online Connected Facility Location Problem
Murilo de Lima (UNICAMP - Brasil), Mario San Felice (UNICAMP - Brasil), Orlando Lee (UNICAMP – Brasil)
Sobre a minimização de transdutores sequenciais
Rodrigo de Souza (UFRPE – Brasil)
Quantificando o vazamento de informações sobre estratégias
Mário Alvim (UFMG - Brasil), Piotr Mardziel (University of Maryland, College Park - USA), Michael Hicks (University of Maryland, College Park – USA)
Compartilhamento de Custos de Empacotamento
Flávio Miyazawa (UNICAMP - Brasil), Rafael Schouery (UNICAMP – Brasil)
Algoritmos aleatorizados com oráculo para MCSP: aplicações para o problema do resíduo quadrático e do logaritmo discreto
Nicollas Sdroievski (UTFPR - Brasil), Murilo da Silva (UTFPR – Brasil)
Um Leilão à Prova de Estratégia para o Compartilhamento de Viagens Dinâmico com Múltiplos Passageiros
Leonardo Schwarzstein (UNICAMP - Brasil), Rafael Schouery (UNICAMP - Brasil), Flávio Miyazawa (UNICAMP – Brasil)
13:00 - 14:30 – Almoço
14:30 - 16:30 – SECOMU
16:30 - 17:00 – Coffee-break
17:00 – 19:00 – Sessão técnica VI
Caracterizações de convexidades geométricas de grafos
Rafael Teixeira de Araujo (UFC - Brasil), Rudini Sampaio (UFC – Brasil)
Results on Circular-Arc Bigraphs
Fabricio Kolberg (UFPR - Brasil), Marina Groshaus (Universidad de Buenos Aires - Argentina), André Guedes (UFPR - Brasil), Renato Carmo (UFPR – Brasil)
O Problema da Atribuição Dupla de Custo Mínimo
Vinicius dos Santos (UFMG - Brasil), Sebastian Alberto Urrutia (UFMG – Brasil)
The Geodetic Carathéodory Number
Eduardo Silva Lira (UFGO - Brasil), Diane Castonguay (UFGO - Brasil), Erika Coelho (UFGO - Brasil), Hebert da Silva (UFGO - Brasil)
Padrão de Desenho para a Família de Grafos Gêmeos
Cassio Ferreira Merlo (UFES - Brasil), Mauro Pinheiro (UFES - Brasil), Marcia Paiva (UFES – Brasil)
An Efficient Algorithm for the Closest String Problem
Omar Latorre (UFAM - Brasil), Rosiane de Freitas (UFAM - Brasil)
DIA 1 - 04/07
8:30 - 8:55 – Abertura (Rosiane de Freitas - UFAM) e Lançamento I Desafio de Algoritmos, Combinatória e Otimização – DACO (Vinicius dos Santos - UFMG) e Claudson Bornstein-UFRJ)
8:55 - 9:10 – A área de Teoria da Computação no Brasill (Jayme Szwarcfiter - UFRJ)
9:10 - 10:30 – Sessão técnica I
Minimal Obstructions of (2,1)-cographs with external restrictions
Raquel Bravo (UFF - Brasil), Fabio Protti (UFF - Brasil), Loana Nogueira (UFF - Brasil), Cláutenis Viana (IFPI – Brasil)
On Linial's Conjecture for Split Digraphs
Maycon Sambinelli (UNICAMP- Brasil), Orlando Lee ( UNICAMP - Brasil), Cândida Silva (UFSCar - Sorocaba – Brasil)
On Colored Edge Cuts in Graphs
Luerbio Faria (UERJ - Brasil), Sulamita Klein (UFRJ - Brasil), Ignasi Sau (CNRS, LIRMM, Montpellier - France), Uéverton Souza (UFF - Brasil), Rubens Sucupira (UERJ – Brasil)
Frustração de Arestas em (3,6)-Fullerenes
Diego Nicodemos (UFRJ - Brasil), Sulamita Klein (UFRJ - Brasil), Luerbio Faria (UERJ – Brasil)
10:30 - 11:00 – Coffee-break
11:00 - 11:40 – Lógica em Computação, IA e Cognição (Luis C. Lamb - UFRGS)
11:40 - 13:20 – Sessão técnica II
Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers
Thiago Rocha (IFCE - Brasil), Ana Teresa Martins (UFC - Brasil)
A Gramática de Grafos como uma alternativa para o desenvolvimento do Pensamento Computacional na Educação Básica
Braz Junior (UFPel - Brasil), Simone Cavalheiro ( UFPel - Brasil), Luciana Foss ( UFPel – Brasil)
Sobre coloração total dos grafos r-partidos completos
Raphael Martins (UERJ -Brasil), Diana Sasaki (Université Paris Dauphine – France)
Amostragem Gaussiana na Criptografia Baseada em Reticulados
Jheyne N. Ortiz (UNICAMP - Brasil), Ricardo Dahab ( UNICAMP - Brasil), Diego Aranha ( UNICAMP – Brasil)
Achieving CCA1-security in homomorphic encryption
Eduardo Morais (UNICAMP - Brasil), Diego Aranha ( UNICAMP - Brasil), Ricardo Dahab ( UNICAMP - Brasil)
13:30 - 14:30 – Almoço
14:30 - 16:30 – SECOMU
16:30 - 17:00 – Coffee-break
17:00 - 17:40 – Intratabilidade e Otimização: uma Homenagem ao David Johnson (Celina de Figueiredo - UFRJ e Luciana Buriol - UFRGS)
17:40 –18:40 – Sessão técnica III
Análise de um algoritmo aproximativo para o problema de escalonamento de tarefas com restrições de precedência em máquinas paralelas idênticas
Elton Lever (UFAM - Brasil), Omar Vilca (UFAM - Brasil), Rosiane de Freitas (UFAM – Brasil)
Some families of 0-rotatable graceful caterpillars
Atílio Luiz ( UNICAMP - Brasil), C. N. Campos (UNICAMP-Brasil), Bruce Richter (University of Waterloo – Canada)
Computação sobre dados cifrados em GPGPUs
Pedro Alves (UNICAMP - Brasil), Diego Aranha ( UNICAMP - Brasil)
18:40 - 19:20 – Exposição de Pôsteres
Stochastic scenario generation: an empirical approach
Alan Delgado de Oliveira (UFRGS - Brasil), Tiago Filomena (UFRGS – Brasil)
Análise e Comparação dos Algoritmos de Dijkstra e A-Estrela na Descoberta de Caminhos Mínimos em Mapas de Grade
Marcel Rios (UFAM - Brasil), Francisco S.S Neto (UFAM - Brasil), José Francisco Netto (UFAM – Brasil)
Um modelo RCPSP para Gestão Ágil Scrum
Osmar Leandro Dantas da Silva (IFCE - Brasil), Emanuel Dantas Filho (IFCE - Brasil), Diego Rocha Lima (IFCE – Brasil)
KM-Finder: Uma Ferramenta para Detecção de Motivos
Lucas Vilhagra (UFMS - Brasil), Luciana Montera (UFMS - Brasil), Taina Alencar (FIOCRUZ - Brasil)
Estruturas de Dados Probabilísticas para Representação de Conjuntos
Juan Lopes (UERJ - Brasil), Paulo Pinto (UERJ - Brasil), Fabiano Oliveira (UERJ – Brasil)
Análise Empírica do Algoritmo Shellsort
Paulo Pinto (UERJ - Brasil), Fabiano Oliveira (UERJ - Brasil), Raquel Souza (UERJ – Brasil)
DIA 2 - 05/07
8:30 - 9:50 – Sessão técnica IV
Algoritmos Branch-and-Price para o Problema de Empacotamento em Recipientes com Restrições de Classe
Yulle Glebbyo Felipe Borges (UNICAMP - Brasil), Flávio Miyazawa (UNICAMP - Brasil), Rafael Schouery (UNICAMP - Brasil), Eduardo Xavier (UNICAMP – Brasil)
Uma Aproximação para o Problema de Alocação de Terminais
Lehilton Pedrosa (UNICAMP - Brasil), Vinicius dos Santos (UFMG - Brasil), Rafael Schouery (UNICAMP – Brasil)
UKP5: Solving the Unbounded Knapsack Problem
Henrique Becker (UFRGS - Brasil), Luciana Buriol (UFRGS – Brasil)
Uma Abordagem baseada nas Preferências dos Docentes para o Problema de Programação de Horários em Universidades
Osmar Leandro Dantas da Silva (IFCE - Brasil), Diego Rocha Lima (IFCE - Brasil)
9:50 - 10:30 – Problemas de Edição de Arestas em Grafos (Luiz Satoru Ochi - UFF)
10:30 - 11:00 – Coffee-break
11:00 - 13:00 – Sessão técnica V
On a Leasing Variant of the Online Connected Facility Location Problem
Murilo de Lima (UNICAMP - Brasil), Mario San Felice (UNICAMP - Brasil), Orlando Lee (UNICAMP – Brasil)
Sobre a minimização de transdutores sequenciais
Rodrigo de Souza (UFRPE – Brasil)
Quantificando o vazamento de informações sobre estratégias
Mário Alvim (UFMG - Brasil), Piotr Mardziel (University of Maryland, College Park - USA), Michael Hicks (University of Maryland, College Park – USA)
Compartilhamento de Custos de Empacotamento
Flávio Miyazawa (UNICAMP - Brasil), Rafael Schouery (UNICAMP – Brasil)
Algoritmos aleatorizados com oráculo para MCSP: aplicações para o problema do resíduo quadrático e do logaritmo discreto
Nicollas Sdroievski (UTFPR - Brasil), Murilo da Silva (UTFPR – Brasil)
Um Leilão à Prova de Estratégia para o Compartilhamento de Viagens Dinâmico com Múltiplos Passageiros
Leonardo Schwarzstein (UNICAMP - Brasil), Rafael Schouery (UNICAMP - Brasil), Flávio Miyazawa (UNICAMP – Brasil)
13:00 - 14:30 – Almoço
14:30 - 16:30 – SECOMU
16:30 - 17:00 – Coffee-break
17:00 – 19:00 – Sessão técnica VI
Caracterizações de convexidades geométricas de grafos
Rafael Teixeira de Araujo (UFC - Brasil), Rudini Sampaio (UFC – Brasil)
Results on Circular-Arc Bigraphs
Fabricio Kolberg (UFPR - Brasil), Marina Groshaus (Universidad de Buenos Aires - Argentina), André Guedes (UFPR - Brasil), Renato Carmo (UFPR – Brasil)
O Problema da Atribuição Dupla de Custo Mínimo
Vinicius dos Santos (UFMG - Brasil), Sebastian Alberto Urrutia (UFMG – Brasil)
The Geodetic Carathéodory Number
Eduardo Silva Lira (UFGO - Brasil), Diane Castonguay (UFGO - Brasil), Erika Coelho (UFGO - Brasil), Hebert da Silva (UFGO - Brasil)
Padrão de Desenho para a Família de Grafos Gêmeos
Cassio Ferreira Merlo (UFES - Brasil), Mauro Pinheiro (UFES - Brasil), Marcia Paiva (UFES – Brasil)
An Efficient Algorithm for the Closest String Problem
Omar Latorre (UFAM - Brasil), Rosiane de Freitas (UFAM - Brasil)