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

INFORMAÇÕES PESSOAIS:

RECOMENDAR PARA:

- AMIGO + AMIGOS
Preencha todos os campos.

postado em 27/09/2013 15:34 / atualizado em 27/09/2013 15:40

Agência UnB

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 (CBSoft) 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 site 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 (SBES 2013)

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

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

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

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: