Centro de Ciências Computacionais
Rio Grande, 31 de outubro de 2024
Notícias

II Workshop-Escola de Informática Teórica (WEIT 2013)


 

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




Ver as fotos anteriores
  •  
  •  
  •  
Ver as próximas fotos




2010 - 2024 - Centro de Ciências Computacionais - FURG