Obrigado pela divulgação. Segue a última chamada de trabalhos. Destacando que haverá junto ao Workshop, o II CTDWEIT (Segundo Concurso de Teses e Dissertações do WEIT).
Um abraço, Gleifer ================================================================ VII Workshop-Escola de Informática Teórica (WEIT 2023)Última Chamada de Trabalhos Nova data limite para submissão: 07/08/2023. No período de 09 a 11 de outubro de 2023 ocorrerá o Workshop-Escola de Informática Teórica (WEIT), evento bianual que se encontra em sua 7ª edição. O WEIT é uma promoção conjunta de Universidades da região sul do Brasil 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 VI Workshop-Escola de Informática Teórica é uma promoção conjunta da Universidade Federal de Rio Grande (FURG), da Universidade Tecnológica Federal do Paraná (UTFPR), da Universidade Federal do Pampa (UNIPAMPA), da Universidade Federal de Pelotas (UFPEL), da Universidade Federal do Rio Grande do Sul (UFRGS), da Universidade de Passo Fundo (UPF) e da Universidade Federal de Santa Maria (UFSM). Em 2023 o evento será integralmente presencial e contará com palestras, painel e apresentação de artigos. Além disso, teremos a segunda edição do Concurso de Teses e Dissertações do WEIT (II CTDWEIT). Alunos de ensino médio, 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 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 e probabilística, 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 relacionados e relevantes também são bem-vindos. A programação das palestras e painéis será divulgada oportunamente na página do evento (WEIT - 2023 <http://c3.furg.br/weit/>). Os anais do evento serão disponibilizados em formato online a partir da data de início do evento e serão publicados na plataforma SOL da SBC, com DOI próprio. 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 submissão dos trabalhos deve ser feita em uma das duas trilhas: (a) trilha de trabalhos em andamento ou (b) trilha de trabalhos completos. Os trabalhos em andamento (trilha a) devem ter entre 3 e 5 páginas e os trabalhos completos (trilha b) entre 6 a 8 páginas, incluindo resumo, abstract, figuras. Atenção! esse limite de páginas não inclui as referências bibliográficas. A submissão deve ser exclusivamente no formato PDF (Portable Document Format) no formato de artigos da SBC (Templates para Artigos e Capitulos de Livros <http://tinyurl.com/sbc-template-artigos>). O processo de submissão é eletrônico por meio do sistema CMT ( https://cmt3.research.microsoft.com/WEIT2023). Os autores dos melhores trabalhos serão convidados a submeter uma extensão do conteúdo original para uma Revista (*ainda a ser anunciada*) da mesma área de conhecimento do workshop. Além das duas trilhas de submissão de trabalhos científicos ainda é possível fazer a submissão de dissertações e/ou teses para o Concurso de Teses e Dissertações do WEIT. Em 2023, o *II CTDWEIT* (Segundo Concurso de Teses e Dissertações do WEIT) selecionará e premiará as melhores teses de doutorado e dissertações de mestrado da área teórica da Computação concluídas, isto é, defendidas e aprovadas, no período de 1º de agosto de 2021 a 31 de julho de 2023. Os trabalhos concorrentes serão avaliados de acordo com os resultados científicos e tecnológicos já gerados, bem como pelo seu potencial de impacto na sociedade e no estado da arte na área da Teoria da Computação. Os resumos das teses/dissertações devem ser escritos em Português ou Inglês, respeitando o limite máximo de 8 (oito) páginas, incluindo o texto e as figuras, excluindo as referências. O texto deve ser formatado utilizando o template para artigos da SBC, disponível em Templates para Artigos e Capitulos de Livros <http://tinyurl.com/sbc-template-artigos> . Além do resumo da tese/dissertação, o seguinte deve ser enviado: (i) o texto completo da tese ou dissertação; (ii) uma cópia digitalizada do diploma (ou documento que comprove que a tese ou dissertação foi defendida e aprovada). Todos os documentos deverão ser submetidos em formato PDF. O texto completo da tese ou dissertação servirá essencialmente como fonte de consulta para os avaliadores sobre os resultados do trabalho, isto é, o texto em si não passará por um processo de revisão. O texto do resumo deve deixar claras as contribuições, a originalidade e as possibilidades de impacto do trabalho. No resumo deve constar, obrigatoriamente, o título do trabalho, o autor, a afiliação (departamento/centro no qual foi aprovado), o orientador e coorientador(es) com as respectivas afiliações, e o texto propriamente dito. ------------------------------ WEIT - datas importantes: 31/julho/2023: 07/agosto/2023: data limite para submissão de artigos 06/setembro/2023: comunicação dos resultados 02/outubro/2023: data limite para envio da versão final dos artigos ------------------------------ Contato: Dúvidas e informações a respeito da organização do WEIT podem ser enviadas para: <weit2...@furg.br>weit2...@furg.br Dúvidas e informações a respeito do programa do WEIT podem ser enviadas para: <glei...@utfpr.edu.br>glei...@utfpr.edu.br II CTDWEIT - datas importantes: 20/agosto/2023: submissão de trabalhos (não será prorrogado) 20/setembro/2023: resultados da avaliação 30/setembro/2023: versão final do trabalho Dúvidas do CTDWEIT? <anaferre...@unipampa.edu.br> anaferre...@unipampa.edu.br ------------------------------ Comitês: - Coordenação Geral do WEIT 2023: Hélida Salles Santos (FURG) Giancarlo Lucca (FURG) - Coordenação Local: Bruno Dalmazo (FURG) Eduardo Nunes Borges (FURG) Graçaliz Pereira Dimuro (FURG) Julian Suarez (FURG) Tiago Asmus (FURG) - Comitê Consultivo: Ana Paula Lüdtke Ferreira (UNIPAMPA) André Rauber Dubois (UFPel) Carlos Amaral Hölbig (UPF) Hélida Salles (FURG) Juliana Kaiser Vizotto (UFSM) Leila Ribeiro (UFRGS) Luciana Foss (UFPel) Lúcio Mauro Duarte (UFRGS) Renata Hax Sander Reiser (UFPel) Rodrigo Machado (UFRGS) Simone André da Costa Cavalheiro (UFPel) - Coordenação do Concurso de Teses e Dissertações: Ana Paula Lüdtke Ferreira (UNIPAMPA) - Coordenação do Comitê de Programa: Gleifer Vaz Alves (UTFPR) - Comitê de Programa (em construção): On Fri, 28 Jul 2023 at 19:26, Joao Marcos <botoc...@gmail.com> wrote: > O VII Workshop-Escola de Informática Teórica ocorrerá entre 09 a 11 de > outubro deste ano em Rio Grande (RS), e pode parecer atraente a alguns > dos colegas aqui presentes: > http://c3.furg.br/weit/ > > A Lógica Matemática está explicitamente entre os tópicos de interesse: > http://c3.furg.br/weit/topicosDeInteresse.html > > A data limite para submissão de trabalhos está bem próxima. Não me > parece, contudo, que ninguém da comunidade tenha divulgado isto nesta > lista antes. O CFP está aqui: > http://c3.furg.br/weit/chamadaDeTrabalhos.html > Nota: "Os trabalhos em andamento devem ter entre 3 e 5 páginas e os > trabalhos concluídos entre 6 a 8 páginas, incluindo resumo, abstract, > figuras e referências bibliográficas." > > JMarcos > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LixkCSh0e8Hwu4RrXg8QXcRPg8_oQe7t%2BB6pOKEY8_vLg%40mail.gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO2Sz0bQzpB1Gfqiy3OazgE7Hd0hQ70LYsgAvReasjhBH98%2BFg%40mail.gmail.com.
