O Workshop-Escola de Informática Teórica (WEIT 2013) é uma promoção conjunta da Universidade Federal do Rio Grande (FURG), Universidade Federal de Pelotas (UFPEL) e Universidade Federal do Rio Grande do Sul, que tem por objetivo divulgar e promover aspectos teóricos da Computação, procurando congregar estudantes e pesquisadores, aproximando-os através de dois tipos de atividades:
1) A parte Escola, que visa a oferecer cursos e tutoriais para estudantes de graduação e pós-graduação;
2) A parte Workshop, que oferecerá tanto palestras convidadas de pesquisadores qualificados na área, assim como abrirá espaço para submissão de trabalhos técnicos de pesquisa de estudantes e
pesquisadores.
O público-alvo do evento são acadêmicos de graduação e pós-graduação, professores e profissionais da área de Ciência da Computação e áreas afins.
As inscrições estão abertas e são gratuitas para estudantes de todos os níveis da FURG, que não sejam autores. As inscrições gratuitas dão direito a certificado, mas não ao material do evento. No momento da
inscrição basta indicar que é aluno da FURG! Link para inscrição:
http://wp.ufpel.edu.br/weit/inscricoes/
Para quem não reside em Rio Grande, existe a possibilidade de hospedagem gratuita no Hotel de Trânsito da FURG. As vagas serão preenchidas por ordem de inscrição.
Palestras:
Extração de Modelos de Comportamento de Software
Dr. LUCIO MAURO DUARTE (UFRGS)
Computação Quântica: Estado da Arte e Desafios
Dra. JULIANA KAIZER VIZZOTTO (UFSM)
Minicursos:
Uma Introdução ao Cálculo Lambda e Linguagens de Programação Funcionais (Minicurso 1)
Dr. RODRIGO MACHADO (UFRGS)
Uma Introdução à Prova Interativa de Teoremas com Isabelle/HOL (Minicurso 2)
Dr. ALFIO RICARDO DE BRITO MARTINI (PUCRS)
Tutorial:
Introdução à Lógica Fuzzy
Dr. BENJAMIN RENE CALLEJAS BEDREGAL (UFRN)
Painel:
O Pensamento Computacional no Ensino Fundamental e Médio
Dra. LEILA RIBEIRO, Dr. DALTRO JOSÉ NUNES, Dr. ECIVALDO DE SOUZA MATOS
e Msc. MÁRCIA ELENA JOCHIMS KNIPHOFF DA CRUZ