O Workshop-Escola de Informática Teórica (WEIT) é um evento promovido e realizado por um grupo de Universidades gaúchas (UFRGS, UFPel, FURG, UPF, UFSM e UNIPAMPA) desde 2011. O WEIT visa divulgar e promover os aspectos teóricos da computação, procurando congregar estudantes e pesquisadores, aproximando-os por meio de dois tipos de atividades: I – a parte Escola, que visa oferecer minicursos para estudantes de graduação e pós-graduação e II – a parte Workshop, que oferece palestras convidadas de pesquisadores qualificados e abre espaço para submissão e apresentação de trabalhos de pesquisa de estudantes e pesquisadores. O evento aceita submissão de trabalhos de pesquisa de estudantes de todos os níveis de ensino, em diferentes fases de execução – tanto trabalhos já finalizados quanto trabalhos em andamento. O objetivo do evento é reunir as pessoas interessadas, contribuir com o desenvolvimento dos trabalhos dos estudantes e motivar o interesse e o ingresso de mais pessoas na área. Os Anais do WEIT são publicados bienalmente, trazendo os artigos selecionados para cada edição do evento.
Tópicos de Interesse
Os tópicos de interesse do WEIT incluem:
- Aspectos formais de linguagens
- Complexidade de problemas e de algoritmos
- Computabilidade de problemas
- Educação nos fundamentos da computação
- Estruturas discretas
- Especificação de tradutores
- Fundamentos da Inteligência Artificial e de outras áreas de aplicação
- Lógica matemática
- Matemática intervalar
- Modelagem computacional
- Modelos e fundamentos da computação
- Modelos formais para concorrência
- Teoria das categorias
- Verificação formal de sistemas
Mais informações
Para obter mais informações sobre o WEIT visite o site do evento.
