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