TeoCOMP-NE
|
Início - Programação - Comitê - Localização - Chamada de Trabalhos - Resumos - Certificados |
|
Início - Programação - Comitê - Localização - Chamada de Trabalhos - Resumos - Certificados |
|
A I Escola Regional de Teoria da Computação - Nordeste tem como objetivo promover a área de Teoria da Computação no contexto regional do Estado da Bahia e da Região Nordeste do Brasil 2 a 4 de Maio de 2019, Instituto de Matemática e Estatística da Universidade Federal da Bahia
Construindo uma comunidade
Este primeiro evento na cidade de Salvador é estratégico para promover a integração de diversos pesquisadores e estudantes das áreas de Lógica Matemática, Combinatória, Otimização, Algoritmos dentre outros, no contexto regional do Estado da Bahia e da Região Nordeste do Brasil..
A natureza da computação
Teoria da Computação é a área que estuda a natureza da Computação, assim como os modelos e propriedades formais que sustentam dispositivos e sistemas computacionais, compondo a fundação conceitual para toda a Ciência da Computação.
Uma escola acolhedora
O evento objetiva promover o intercâmbio de conhecimentos entre os pesquisadores e estudantes da área de Teoria da Computação da região Nordeste, assim como incentivar a colaboração científica entre as Universidades desta região. |
| Convidados | ||
|---|---|---|
Claudia LinharesClaudia Linhares Sales possui mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1990) e doutorado em Informatique - Recherche Operationnelle - Université de Grenoble I (Scientifique Et Medicale - Joseph Fourier) (1996). Fez pós-doutorado no INRIA/Sophia-Antipolis, França, em 2006/2007 e na Simon Fraiser University, em Vancouver, no Canadá, em 2015/2016. É professora titular da Universidade Federal do Ceará. Ocupou o cargo de Diretora Científica da FUNCAP (Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico) em 2010-2011 e 2012-2014. Tem experiência na área de Ciência da Computação, com ênfase em Teoria dos Grafos e Algoritmos, atuando principalmente nos temas de coloração e decomposição de grafos. É membro do corpo permanente da Linha de Algoritmos do Mestrado e Doutorado em Ciência da Computação e da Linha de Combinatória do Programa de Pós-graduação da Matemática. Coordena o Grupo de Interesse de Algortimos e Teoria dos Grafos da Comissão Especial de Algoritmos, Combinatória e Otimização da SBC (Sociedade Brasileira de Computação). É atualmente Secretária Regional da Sociedade Brasileira para o Progresso da Ciência (SBPC) e Conselheira do Museu Seara da Ciência da UFC. João MarcosJoão Marcos atua na área de Lógica, é doutor em Matemática pelo Instituto Superior Técnico da Universidade Técnica de Lisboa e em Filosofia pela Universidade Estadual de Campinas. Atualmente é professor associado do Departamento de Informática e Matemática Aplicada da UFRN (Brasil), e parceiro do Security and Quantum Information Group (SQIG) / IT (Portugal) Taísa MartinsPossui graduação em Ciência da Computação pela Universidade Federal do Rio de Janeiro (2012), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2014) e doutorado em Matemática pela Universidade de Warwick. Atualmente está fazendo pós doutorado no IMPA sob a supervisão de Rob Morris. As principais áreas de interesse são Combinatória Extremal, Combinatória Probabilística e Limites de Objetos Combinatórios. |
||
Maria Viviane de MenezesMaria Viviane possui doutorado em Ciência da Computação pelo Instituto de Matemática e Estatística da Universidade de São Paulo (2014) e graduação em Ciência da Computação pela Universidade Estadual do Ceará (2008) . Atualmente é professora adjunta da Universidade Federal do Ceará, Campus de Quixadá. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: planejamento automatizado, lógica temporal, verificação de modelos e atualização de modelos. Guilherme MotaGuilherme Mota possui doutorado em Ciência da Computação pela USP, e pós-doutorados na Universidade de Hamburgo (Matemática), Universidade Técnica de Hamburg-Harburg (Matemática) e na Universidade de São Paulo (Computação). Tem experiência nas áreas de Matemática e Ciência da Computação, com ênfase em Combinatória e Teoria de Grafos, atuando principalmente nos seguintes temas: Teoria de Ramsey, Colorações em Grafos, Decomposição de Grafos, Metódos Probabilísticos e Combinatória Extremal. Vinícius SantosVinícius Fernandes dos Santos possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Rio de Janeiro (2006), mestrado em Informática pela Universidade Federal do Rio de Janeiro (2009) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2013). Atua nos temas de algoritmos e teoria de grafos, principalmente na área de convexidade em grafos. Participou da Maratona de Programação como competidor, técnico e organizador. Atualmente é professor do Departamento de Ciência da Computação Universidade Federal de Minas Gerais. |
||