|
|
|
Call for PapersCall For Papers
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
Informações: teocompne23@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.
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 abaixo. 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.
Para submeter um resumo, primeiro é necessário realizar um cadastro no site, depois é possível acessar o campo de submissão de trabalhos.
1. Cadastro na PlataformaPara submissão dos trabalhos, é necessário se cadastrar na plataforma. Esse processo é realizado da seguinte forma: Primeiro, localize o campo de cadastro e clique no texto "Create account".
Você será redirecionado para uma nova tela, onde deve preencher suas informações e clicar no botão "Create account" para finalizar o processo.
Ao finalizar o processo, você verá a seguinte a imagem e receberá um e-mail de confirmação. Para concluir processo, é necessário acessar o link recebido no e-mail para ativação da conta.
2. Acessando a PlataformaApós criação da conta e confirmação do e-mail, devemos realizar o login. Primeiro, localize e clique no botão de login na página principal.
Ao clicar no botão, você será redirecionado para a página de login. Preencha as informações de acordo com o que foi colocado durante o cadastro e clique no botão "login".
Ao término do processo, você retornará a página inicial.
3. Submetendo um TrabalhoPara submissão dos resumos, localize e clique na opção "My Submissions" no menu à esquerdo.
Ao clicar, você será redirecionado para uma nova página. Nela, você terá acesso à informações das suas submissões e um botão para realizar uma nova submissão.
Ao clicar no botão "Submit an abstract", será iniciado o processo de submissão. Esse processo é constituído de 4 etapas. Primeiro, você deve indicar informações gerais do trabalho: Título, Tópico(s), Linguagem, e Palavras-chave.
Depois, você deve indicar os autores do trabalho. É possível adicionar um autor clicando no botão "Add an author".
Em seguida, você deve fazer o upload do arquivo PDF contendo seu trabalho. Primeiro, selecione o arquivo no sistema de arquivos do seu computador e depois clique no botão "Upload".
Por último, confirme as informações da sua submissão e clique no botão "Submit".
Ao final do processo, você será redirecionado para a página de submissões, onde será possível acompanhar o andamento da sua submissão.
|
| Online user: 6 | Privacy |
|
