WEIT 2019: V Workshop-Escola de Informática Teórica Universidade de Passo Fundo Passo Fundo, RS, Brazil, October 9-11, 2019 |
Conference website | https://weit2019.wordpress.com/ |
Submission link | https://easychair.org/conferences/?conf=weit2019 |
Submission deadline | June 26, 2019 |
V Workshop-Escola de Informática Teórica (WEIT 2019)
1ª chamada de trabalhos
Página web: https://weit2019.wordpress.com/
**** Data limite para submissão de artigos: 23/06/2019 ****
No período de 9 a 11 de outubro de 2019 estará ocorrendo o Workshop-Escola de Informática Teórica (WEIT), evento bianual que se encontra em sua 5ª edição. O WEIT é uma promoção conjunta de Universidades gaúchas com vistas à promoção de trabalhos de ensino, pesquisa e extensão e engajamento dos discentes nas áreas relacionadas ao tema do evento. O evento é dividido em duas partes:
- a parte Workshop, que oferece palestras e painéis com pesquisadores brasileiros de relevante atuação na área e sessões técnicas de apresentações de trabalhos de ensino, pesquisa e extensão de estudantes e pesquisadores;
- a parte Escola, que visa oferecer cursos e tutoriais para estudantes de graduação e pós-graduação, ministrados por especialistas em suas áreas de atuação.
O V Workshop-Escola de Informática Teórica é uma promoção conjunta da Universidade de Passo Fundo (UPF), da Universidade Federal de Pelotas (UFPEL), da Universidade Federal do Rio Grande do Sul (UFRGS), da Universidade Federal de Santa Maria (UFSM), da Universidade Federal de Rio Grande (FURG) e da Universidade Federal do Pampa (UNIPAMPA) e terá lugar na Universidade de Passo Fundo (UPF), na cidade de Passo Fundo (RS), no período de 9 a 11 de outubro de 2019.
Alunos de graduação e pós-graduação, professores e pesquisadores da área estão convidados a submeter trabalhos para o evento. Os tópicos de interesse para submissão dos trabalhos, para a parte Workshop do evento, são:
- Problemas e algoritmos: algoritmos exatos e aproximativos, heurísticas, otimização combinatória, análise da complexidade de algoritmos, complexidade de problemas, ferramentas e aplicações.
- Modelos e fundamentos da computação: computabilidade, Hierarquia de Chomsky, teoria de modelos, instituições, máquinas de estado finito, gramáticas, computação quântica, ferramentas e aplicações.
- Lógica matemática: lógicas clássicas (proposicional, de primeira ordem, monádica de segunda ordem, de ordens superiores) e não clássicas (fuzzy, modais, temporais, de descrições, de ações e outras), sistemas de inferência lógica, ferramentas e aplicações.
- Modelagem e simulação computacional: linguagens de modelagem, especificação algébrica, sistemas dinâmicos, sistemas orientados a eventos, modelos de Markov, simulação de modelos, linguagens de simulação, teoria de filas, distribuições de probabilidade estacionárias e dinâmicas, ferramentas e aplicações.
- Verificação formal de sistemas: análise estática, provas automáticas de teoremas, sistemas de prova, verificação de modelos, verificação de código, ferramentas e aplicações.
- Modelos formais para concorrência: gramáticas de grafos, redes de Petri, cálculo π, ferramentas e aplicações.
- Teoria das categorias: aplicações em descrição de modelos computacionais e suas estruturas, ferramentas e aplicações.
- Matemática computacional: matemática intervalar, análise numérica, teoria de ordem, teoria de domínios, geometria computacional, teoria da informação, teoria de códigos, operações, ferramentas e aplicações.
- Linguagens: linguagens de especificação, linguagens de programação, linguagens para domínios específicos, linguagens visuais, sintaxe e semântica de linguagens, teoria de tipos, ferramentas e aplicações.
- Desenvolvimento orientado a modelos: métodos e técnicas de modelagem, especificação formal de modelos, refinamentos automáticos e semiautomáticos, geração automática de código, ferramentas e aplicações de domínios específicos.
- Fundamentos da inteligência artificial: representação do conhecimento, inferência lógica e probabilística, sistemas baseados em regras, aprendizado de máquina, metaheurísticas, descoberta de conhecimento, data mining, big data, agentes computacionais.
- Educação nos fundamentos da computação: bibliografias e materiais de apoio, curricularização da extensão e da pesquisa, informática teórica como tema transversal, metodologias ativas de aprendizagem, pensamento computacional, propostas para a educação básica.
Outros temas relevantes também são bem-vindos.
A programação das palestras e painéis será divulgada na página do evento: (https://weit2019.wordpress.com). Os anais do evento serão disponibilizados em formato online a partir da data de início do evento.
Incentivamos a submissão de trabalhos concluídos ou em estágios iniciais de desenvolvimento, para discussão no evento. Os artigos podem ser escritos em português ou inglês. A informação sobre o estágio do trabalho (em andamento ou concluído) deve ser informada como nota de rodapé junto ao título do trabalho. Os trabalhos devem ter entre 5 e 9 páginas, incluindo resumo, abstract, figuras e referências bibliográficas. A submissão deve ser exclusivamente no formato PDF (Portable Document Format), nos formatos disponibilizados na página do evento. O processo de submissão é eletrônico por meio do sistema EasyChair, pelo link: https://www.easychair.org/conferences/?conf=weit2019.
Os autores dos melhores trabalhos serão convidados a submeter uma extensão do conteúdo original para periódicos nacionais, a definir.
Datas importantes:
23/06/2019: data limite para submissão de artigos
31/07/2019: comunicação dos resultados
20/08/2019: data limite para envio da versão final dos artigos
Coordenação do Comitê de Programa:
* Ana Paula Lüdtke Ferreira (UNIPAMPA)
Coordenação Local:
* Carlos Amaral Hölbig (UPF)
Comitê de Programa:
Em breve.