Fwd: III Escola de Teoria da Computação do NE
20 views
Skip to first unread message
JEANE MELO
Sep 15, 2023, 6:39:45 PM9/15/23
to noticias...@googlegroups.com
---------- Forwarded message ---------
De: RODRIGO NONAMOR PEREIRA MARIANO DE SOUZA <rodrigo....@ufrpe.br>
Date: sex., 8 de set. de 2023 às 20:02
Subject: III Escola de Teoria da Computação do NE
To: Lista do Departamento de Computação <dc...@ufrpe.br>
De: RODRIGO NONAMOR PEREIRA MARIANO DE SOUZA <rodrigo....@ufrpe.br>
Date: sex., 8 de set. de 2023 às 20:02
Subject: III Escola de Teoria da Computação do NE
To: Lista do Departamento de Computação <dc...@ufrpe.br>
Segue anúncio do primeiro evento científico regional sediado exclusivamente pelo nosso departamento, o III TeoCOMP-NE. As duas primeiras edições foram realizadas na Bahia e no Ceará, e são fruto do esforço da comunidade de Teoria da Computação do Nordeste.
Favor divulgar fortemente. Há um deadline muito curto para envio de resumos, mas são resumos de 4 páginas, e todos os interessados em aspectos teóricos da Computação são convidados a enviar contribuições. O evento é especialmente interessante para alunos de pós, mas nas duas primeiras edições alunos de graduação também enviaram trabalhos. O evento será híbrido, a participação presencial e online tem o mesmo status. Mais instruções serão enviadas nas próximas semanas.
RdS
Pelo menos um autor de cada resumo aceito deve realizar inscrição no evento e apresentar o trabalho, que pode ser presencial ou online. Instruções para apresentação online serão divulgadas no site do evento.
--
---
III Escola de Teoria da Computação - Nordeste (TeoCOMP-NE)
04 a 06 de outubro de 2023
Departamento de Computação, Universidade Federal Rural de Pernambuco
Evento híbrido, transmitido pelo canal do YouTube do DC - UFRPE
https://teocompne23.sciencesconf.org/
Informações: teoco...@ufrpe.br
A Escola de Teoria da Computação – Nordeste surgiu do desejo de promover maior integração e fortalecimento da comunidade de Teoria da Computação da região nordeste e também proporcionar uma oportunidade para divulgação de resultados e encontro de pesquisadores da área. O evento é voltado para os alunos de graduação, pós-graduação, pesquisadores e profissionais das áreas da Teoria da Computação.
O evento de 2023 será realizado pelo Departamento de Computação da Universidade Federal Rural de Pernambuco, campus Recife. O DC-UFRPE é um departamento jovem, tendo sido criado formalmente em 2018, e abriga um núcleo forte de quase 50 docentes atuando nas mais diversas linhas da Computação. Conta com dois cursos de graduação (Bacharelado em Ciência da Computação e Licenciatura em Computação) e tem uma forte atuação em programas de mestrado da UFRPE.
Palestras e mini-cursos
-----------------------
04 a 06 de outubro de 2023
Departamento de Computação, Universidade Federal Rural de Pernambuco
Evento híbrido, transmitido pelo canal do YouTube do DC - UFRPE
https://teocompne23.sciencesconf.org/
Informações: teoco...@ufrpe.br
A Escola de Teoria da Computação – Nordeste surgiu do desejo de promover maior integração e fortalecimento da comunidade de Teoria da Computação da região nordeste e também proporcionar uma oportunidade para divulgação de resultados e encontro de pesquisadores da área. O evento é voltado para os alunos de graduação, pós-graduação, pesquisadores e profissionais das áreas da Teoria da Computação.
O evento de 2023 será realizado pelo Departamento de Computação da Universidade Federal Rural de Pernambuco, campus Recife. O DC-UFRPE é um departamento jovem, tendo sido criado formalmente em 2018, e abriga um núcleo forte de quase 50 docentes atuando nas mais diversas linhas da Computação. Conta com dois cursos de graduação (Bacharelado em Ciência da Computação e Licenciatura em Computação) e tem uma forte atuação em programas de mestrado da UFRPE.
Palestras e mini-cursos
-----------------------
Said Sadique Adi (FACOM UFMS): Mapeamento de sequências em grafos de De Bruijn
Adenilton J. da Silva (CIn UFPE): Computação Quântica
Regivan Hugo Nunes Santiago (DIMAP UFRN): Fuzzy Switch Graphs
Marlo Vieira dos Santos e Souza (IC UFBA): Lógicas Dinâmicas e Mudança de Crença
Manoel José Machado Soares Lemos (DMAT UFPE): A anunciar
Aline Maria Santos Andrade (IC UFBA): Uma abordagem para o reparo de modelos com informação parcial
Benjamín René Callejas Bedregal (DIMAP UFRN): A anunciar
Rafael Dueire Lins (DC UFRPE): A anunciar
Maria Viviane Menezes e Davi Romero (UFC - Campus Quixadá): Conheça NADIA e ANITA: Ferramentas para ensino e aprendizagem de Sistemas Dedutivos em Lógica para Computação
Maité Kulesza (DMAT UFRPE): Implementação do modelo SIR em linguagem Python como um primeiro passo na modelagem de epidemias
Anjolina Grisi de Oliveira (CIn UFPE): Um breve introdução à Teoria da Prova
Tópicos de interesse
--------------------
* Algoritmos: análise e projeto de algoritmos, técnicas de decomposição e balanceamento, algoritmos exatos, algoritmos de aproximação, algoritmos probabilísticos, algoritmos online, algoritmos distribuídos e paralelos.
* Complexidade Computacional: análise de problemas e algoritmos, NP-completude, reduções polinomiais, prova de polinomialidade, classes de complexidade de tempo e espaço, complexidade parametrizada, análise amortizada, inaproximabilidade, algoritmos, abordagens lógicas à complexidade computacional, aplicações.
* Linguagens, autômatos e jogos: métodos algébricos e categoriais, teoria dos códigos, aplicação de autômatos e jogos a problemas teóricos em Computação, lógicas de gramáticas, gramáticas de grafos, semântica baseada em jogos e aplicações.
* Linguagens de programação e semântica formal: linguagens de programação concorrentes e paralelas, sistemas de tipos, compiladores corretos, especificação algébrica e categorial.
* Lógica: lógicas clássicas e não-clássicas, lógica universal, lógicas modais, teoria dos modelos finitos, semântica, especificação e verificação formal, sistemas de re-escrita e dedução, aplicações de lógica em computação.
* Modelos de Computação: modelos teóricos de computação, teoria da recursão, hipercomputação, modelos de computação concorrente, paralela e distribuída, computabilidade, aplicações.
* Otimização Combinatória: estruturas combinatórias, combinatória poliédrica, métodos exatos e aproximados, métodos de busca global e de busca local, otimização multiobjetiva, otimização estocástica, otimização em redes, pesquisa operacional, modelagem e aplicações.
* Programação Matemática: formulações, programação inteira linear e não-linear, programação por restrições, métodos enumerativos, planos de corte, branch-and-bound, branch-and-cut, branch-and-price, branch-cut-and-price, branch-and-prune, métodos híbridos exato-heurístico, programação dinâmica, etc.
* Teoria dos Grafos e Combinatória: caracterização estrutural, classes de grafos, reconhecimento, estruturas proibidas, problemas clássicos, desenho e layout de grafos, teoria espectral, grafos aleatórios, complexidade, algoritmos, aplicações.
* Geometria Computacional: espaços métricos, geometria de distâncias, algoritmos geométricos, estruturas baseadas em propriedades geométricas, estruturas espaciais, aplicações.
Datas Importantes
-----------------
Submissão de resumos: 23 de setembro de 2023
Notificação de aceitação: 30 de setembro de 2023
Evento: 04 a 06 de outubro de 2023
Instruções para Submissão
-------------------------
Convidamos a comunidade a compartilhar resultados de pesquisa por meio da submissão de resumos estendidos de no máximo 4 (quatro) páginas, seguindo o modelo de artigo da SBC (disponível em http://tinyurl.com/sbc-template-artigos) e submetendo o pdf do artigo por meio do site do evento, conforme instruções disponíveis em https://teocompne23.sciencesconf.org/resource/page/id/5. Os trabalhos devem conter resultados de pesquisas recentes ou pesquisas em andamento, já publicados ou não.
--------------------
* Algoritmos: análise e projeto de algoritmos, técnicas de decomposição e balanceamento, algoritmos exatos, algoritmos de aproximação, algoritmos probabilísticos, algoritmos online, algoritmos distribuídos e paralelos.
* Complexidade Computacional: análise de problemas e algoritmos, NP-completude, reduções polinomiais, prova de polinomialidade, classes de complexidade de tempo e espaço, complexidade parametrizada, análise amortizada, inaproximabilidade, algoritmos, abordagens lógicas à complexidade computacional, aplicações.
* Linguagens, autômatos e jogos: métodos algébricos e categoriais, teoria dos códigos, aplicação de autômatos e jogos a problemas teóricos em Computação, lógicas de gramáticas, gramáticas de grafos, semântica baseada em jogos e aplicações.
* Linguagens de programação e semântica formal: linguagens de programação concorrentes e paralelas, sistemas de tipos, compiladores corretos, especificação algébrica e categorial.
* Lógica: lógicas clássicas e não-clássicas, lógica universal, lógicas modais, teoria dos modelos finitos, semântica, especificação e verificação formal, sistemas de re-escrita e dedução, aplicações de lógica em computação.
* Modelos de Computação: modelos teóricos de computação, teoria da recursão, hipercomputação, modelos de computação concorrente, paralela e distribuída, computabilidade, aplicações.
* Otimização Combinatória: estruturas combinatórias, combinatória poliédrica, métodos exatos e aproximados, métodos de busca global e de busca local, otimização multiobjetiva, otimização estocástica, otimização em redes, pesquisa operacional, modelagem e aplicações.
* Programação Matemática: formulações, programação inteira linear e não-linear, programação por restrições, métodos enumerativos, planos de corte, branch-and-bound, branch-and-cut, branch-and-price, branch-cut-and-price, branch-and-prune, métodos híbridos exato-heurístico, programação dinâmica, etc.
* Teoria dos Grafos e Combinatória: caracterização estrutural, classes de grafos, reconhecimento, estruturas proibidas, problemas clássicos, desenho e layout de grafos, teoria espectral, grafos aleatórios, complexidade, algoritmos, aplicações.
* Geometria Computacional: espaços métricos, geometria de distâncias, algoritmos geométricos, estruturas baseadas em propriedades geométricas, estruturas espaciais, aplicações.
Datas Importantes
-----------------
Submissão de resumos: 23 de setembro de 2023
Notificação de aceitação: 30 de setembro de 2023
Evento: 04 a 06 de outubro de 2023
Instruções para Submissão
-------------------------
Convidamos a comunidade a compartilhar resultados de pesquisa por meio da submissão de resumos estendidos de no máximo 4 (quatro) páginas, seguindo o modelo de artigo da SBC (disponível em http://tinyurl.com/sbc-template-artigos) e submetendo o pdf do artigo por meio do site do evento, conforme instruções disponíveis em https://teocompne23.sciencesconf.org/resource/page/id/5. Os trabalhos devem conter resultados de pesquisas recentes ou pesquisas em andamento, já publicados ou não.
Pelo menos um autor de cada resumo aceito deve realizar inscrição no evento e apresentar o trabalho, que pode ser presencial ou online. Instruções para apresentação online serão divulgadas no site do evento.
Rodrigo de Souza
Professor Associado
Departamento de Computação UFRPE
Recife, PE
Reply all
Reply to author
Forward
0 new messages