Seminários de Teoria da Computação -
IC-UNICAMP
Estes seminários são abertos a todos os interessados e
ocorrem em geral
nas sextas feiras, as 16hs. Alternativamente, poderá ocorrer as
14hs.
Verifique o horário. Para receber ou deixar de receber a
divulgação dos
seminários de teoria, escreva para fkm(arroba)ic.unicamp.br
pedindo sua inclusão/remoção.
Segundo semestre de 2008
12 de dezembro - O Perfume dos Flower-Snarks. Sexta-feira, 16hs, Sala 322
(IC-3) - Candida Nunes da Silva
05 de dezembro - Um Algoritmo Branch-and-Cut para o problema de coloração particionada . Sexta-feira, 16hs, Sala 85 (IC-2)
- Yuri Abitbol de Menezes Frota
28 de novembro - Grafos Pfaffianos . Sexta-feira, 16hs, Sala 85 (IC-2)
- Alberto Miranda
07 de novembro - Algebraic Formal Methods I : Invariant Generation for Program Verification and Security. Sexta-feira, 16hs, Sala 85 (IC-2) - Rachid Rebiha
31 de outubro - Problema da Árvore Caterpillar Mínima. Sexta-feira, 16hs, Sala 85 (IC-2)
- Luidi G. Simonetti
17 de outubro - On the colorings of graphs. Sexta-feira, 16hs, Sala 85 (IC-2)
- Célia P. de Mello
10 de outubro - O problema do caminho mínimo não-elementar com
restrições de recursos. Sexta-feira, 16hs, Sala 322 (IC-3)
- Edna A. Hoshino
26 de setembro - Balanceamento de Cargas para Pessoas
Egoístas. Sexta-feira,
14hs, Sala 322 (IC-3)
- André
L. Vignatti
19 de setembro - Não haverá seminário.
12 de setembro -
Não
haverá seminário (Unicamp de Portas Abertas).
5 de setembro - Jogos de Roteamento.
Sexta-feira, 16hs, Sala 85 (IC-2) - Eduardo
C. Xavier
29 de agosto - The
Hitchhiker's Guide to Complexity. Sexta-feira,
14hs,
Sala 85 (IC-2) - Nilton S. Volpato
Filho. Apresentação
Seminários até maio de 2005
20 de maio - Multiplicação
em Corpos Binários usando Bases Normais
Gaussianas. Sexta-feira, 14hs, Sala 85 (IC-2),
14:00hs - Julio C. Lopez Hernandez.
13 de maio - O algoritmo
de Grover.
Sexta-feira, 14hs, Sala 85 (IC-2), 14:00hs - Nilton
Volpato Filho.
25 de abril - Advances in
Packing Directed Joins.
Segunda-feira, 14hs, Sala 85 (IC-2), 14:00hs - Aaron
Williams.
15 de abril - A General
Approach for Querying Priced Information.
Sexta-feira, 14hs, Sala 85 (IC-2), 14:00hs - Eduardo
S. Laber.
1 de abril - Um Provador
de Teoremas Multi-Estratégia.
Sexta-feira, 14hs, Sala 85 (IC-2), 14:00hs - Adolfo
Gustavo Serra Seca Neto.
18 de março - Introdução
à Computação Quântica.
Sexta-feira, 14hs, Sala 85 (IC-2), 14:00hs - Nilton
Volpato Filho.
Seminários de 2004
15 de dezembro - O Problema
de Steiner com Grupos.
Quarta-feira, 14hs, Sala 85 (IC-2), 14:00hs - Carlos
Eduardo Ferreira.
10 de dezembro - O
Teorema de Grötzsch. Sexta-feira,
13hs, Sala 85 (IC-2) - Candida Nunes da Silva.
6 de dezembro - Uso de
cortes canônicos no método de ramificação local
para problemas inteiros 0--1 mistos. Será na
segunda-feira,
13hs, Auditório do IC (IC-1) - Cid Carvalho de
Souza.
25 de novembro - Problemas
de partição em grafos. QUINTA-FEIRA,
13hs, Auditório do IC (IC-1) - Simone Dantas de
Souza. <--- Notem mudança de dia
5 de novembro - Uma
2-aproximação para o projeto de redes resilientes. - Flávio
K. Miyazawa.
29 de outubro - As
equações de Birkhoff-Lewis. - Ricardo Dahab.
22 de outubro - Compressão
de Pontos Elípticos sobre GF(2^m). - Julio C. Lopez
Hernandez. Será na sala 85
15 de outubro - Multicortes
minimax em grafos. - Orlando Lee.
8 de outubro - Relação
entre Grafos PI, Família de Gallai e Grafos de
Intervalo . - Sheila Morais de Almeida.
1 de outubro -
Correlation Clustering. - Evandro C. Bracht.
10 de setembro - Heapsort
/versus/ Quicksort. - Jorge Stolfi.
30 de junho - Árvore
Geradora com Número Máximo de Folhas - Eduardo Candido
Xavier.
4 de junho - Método de
Planaridade de Lempel, Even e Cederbaum. - Cristina G.
Fernandes.
4 de junho - Defesa de
Mestrado: Problemas de Classificação Métrica. - Evandro
C. Bracht.
21 de maio - Defesa de
Mestrado: Algoritmos Genéticos para o Problema de Localização de
Recursos em Rede Telefônica. - Silvana Livramento.
7 de maio - Introdução ao
Problema de Ordenação por Transposições. - Cleber Mira.
30 de abril - Caminhos
não-separadores em grafos 4-conexos. - Orlando Lee.
19 de março - Algoritmos
aproximados para problemas de empacotamento
com prateleiras - Eduardo Candido Xavier.
5 de março - Performance
Debugging for Distributed Systems of Black Boxes - Marcos
K. Aguilera.
Seminários de 2003
28 de novembro - Bases
de elementos finitos em grades diádicas cíclicas - Jorge
Stolfi.
7 de novembro - Provas verificáveis
probabilisticamente e suas conseqüências para a aproximação de
problemas - Pietro Kreitlon Carolino.
24 de outubro -
Greedy Approximated Algorithm for the Uniform Labeling Problem - Evandro
C. Bracht e Luis A. A. Meira.
17 de outubro - Alguns resultados recentes
sobre a conjetura dos 3-fluxos de Tutte - Ricardo Dahab.
10 de outubro - FFT-Suitable Extension
Fields for Elliptic Curve Arithmetic - Alberto Alexandre
Miranda.
3 de outubro - As Classes de Grafos PI
(Point-Interval) e PI* - Sheila Morais de Almeida
19 de setembro - Packing Problems with
Orthogonal Rotations - Flávio K. Miyazawa
12 de setembro - The datapath meging problem
in
the design of reconfigurable systems - Cid C. de Souza
15 de agosto - Árvores Geradoras
Independentes - Orlando Lee
27 de junho - Esquema de Aproximaçãoo
Polinomial para o Problema do Caixeiro Viajante Baseado na Subdivisão
em Guilhotina - Luis Augusto
Angelotti Meira
6 de junho - Busca Tabu aplicada a
Escalas
de Enfermagem - Tiago Macedo Dias
30 de maio - Algoritmo Genético aplicados a
Escalas de Enfermagem - Daniel Felix Ferber
16 de maio - Aproximação de funções
sobre a esfera - Anamaria Gomide
11 de abril - Fundamentos de Algoritmos
Genéticos e sua aplicação para o problema do Caixeiro Viajante - Silvana
Livramento
4 de abril - Programação Dinâmica Paralela
para resolver o Problema de Edição de Strings no Modelo BSP/CGM - Edson
Norberto Cáceres
21 de março - Pfaffians, permanentes e
contagem de emparelhamentos perfeitos - Cláudio Leonardo
Lucchesi
14 de março - Incompletude da
Aritmética Formal: a prova de Gödel - Guilherme Albuquerque
Pinto
Seminários de 2002
6 de dezembro - Extensão do algoritmo de
Dijkstra para processamento de imagens - Jorge Stolfi
25 de outubro - Busca Tabu Probabilística
para Projeto de Redes de Telecomunicações - Nilton S. Volpato
Filho
18 de outubro - Approximation Schemes for
a Class Constrained Knapsack Problem - Eduardo C. Xavier
11 de outubro - A Conjetura dos 3-Fluxos
de Tutte e Emparelhamentos em Grafos Bipartidos - Candida Nunes
da Silva
4 de outubro - Problema de Classificação
Métrica - Evandro Cesar Bracht
27 de setembro - Criptossistemas de Curvas
Elípticas: implementação em Software - Julio Cesar Lopez
13 de setembro - Coloração total do C_n^2
- Christiane Neme Campos
6 de setembro - Algoritmo Primal-Dual
3-aproximado para o Problema de Localizacao de Facilidades - Luis
Augusto Angelotti Meira
30 de agosto - Alcançabilidade em
Sistemas Híbridos e o algoritmo de Chernikova para Programação Linear
- Guilherme Albuquerque Pinto
23 de agosto - Algoritmos de aproximacao
para Shortest Superstring - Eduardo C. Xavier
16 de agosto - The clique operator on
cographs and serial graphs - Celia Picinin de Mello
28 de junho - Algoritmo de Aproximação para
o Problema do Caixeiro Viajante Euclidiano - Fábio Pakk
Selmi-Dei
21 de junho - On the Sum Constraint:
Relaxation and Applications - Tallys Hoover Yunes
14 de junho - Aritmética afim e aplicações
em otimização - Jorge Stolfi
7 de junho - Duas novas formulações inteiras
0-1 para o problema de coloração de vértices - Rosa Maria
Videira de Figueiredo
24 de maio - Um algoritmo 0,878-aproximado
para o problema do corte maximo - Flávio K. Miyazawa
17 de maio - Geracao de colunas para o
problema de atribuicao de localidades a aneis SONET - Elder
Macambira
10 de maio - Ferramenta hibrida para o
problema de desenvolvimento de pocos de petroleo - Juliana
Martins do Nascimento
3 de maio - Empacotamentos de árvores de Steiner
- Carlos E. Ferreira
26 de abril - Combinatória e Teoria dos
Números - Vaclav Linek
19 de abril - Escalonamento de tarefas em
processadores heterogêneos e sujeitas a restrições de precedência
- Cid. C. de Souza
12 de abril - Escalonamento de Tarefas
em Máquinas Não Relacionadas - Eduardo C. Xavier
5 de abril - Empacotamento de cubos
d-dimensionais - Flávio K. Miyazawa