Ensino_EnsinoSuperior

Congresso reúne série de palestras, oficinas e minicursos sobre softwares

postado em 27/09/2013 15:34
Em uma época em que a tecnologia está presente no cotidiano das pessoas e diretamente ligada ao desenvolvimento dos países, o Congresso Brasileiro de Software: teoria e prática () 2013 traz a Brasília palestrantes, pesquisadores e profissionais para debater os novos rumos da área. O evento, sediado pela primeira vez na capital federal, é organizado pela Universidade de Brasília e ocorre de 29 de setembro a 4 de outubro, no Centro de Convenções Ulysses Guimarães. As inscrições estão abertas e podem ser feitas pelo do congresso.

Uma das temáticas centrais para o CBSoft 2013 é a pesquisa, desenvolvimento e inovação dentro da área de tecnologia de software. Para Genaína Rodrigues, professora do Departamento de Ciências da Computação e uma das coordenadoras do evento, o tema é de grande importância. "A nova moeda que circula no mundo é a tecnologia, o capital intelectual. Não há crescimento e desenvolvimento, nos países, sem investimento em pesquisa e tecnologia", explica a coordenadora.

Na terça-feira a partir das 9h, no auditório Planalto, palestra com o pesquisador vinculado à Microsoft Research, Kenneth McMillan debaterá a análise de programas, os teoremas de decisão e as provas automatizadas. "O importante, nesses debates, é discutir os desafios para o futuro, quais serão as novas barreiras tecnológicas que devemos superar e traçar;, acrescenta Genaína.

O Congresso Brasileiro de Software é o maior encontro realizado anualmente pela Sociedade Brasileira de Computação (SBC). Como evento agregador de simpósios brasileiros da SBC, é recente: está apenas na quarta edição. Além dos minicursos, palestras e workshops, a programação do CBSoft integra quatro eventos tradicionais organizados pela comunidade brasileira de desenvolvimento de software:

XXVII Simpósio Brasileiro de Engenharia de Software ()

XVII Simpósio Brasileiro de Linguagens de Programação ()

XVI Simpósio Brasileiro de Métodos Formais ()

VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software ()

SERVIÇO
Congresso Brasileiro de Software: teoria e prática (CBSoft) 2013
Data: 29 de setembro a 4 de outubro
Local: Centro de Convenções Ulysses Guimarães
Programação

Tags

Os comentários não representam a opinião do jornal e são de responsabilidade do autor. As mensagens estão sujeitas a moderação prévia antes da publicação