Congresso Brasileiro de Software (Setembro em Natal-RN)
Post date: Aug 17, 2012 3:03:56 AM
III Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012)
Gostaríamos de lembrar que a segunda fase de inscrições com "valores
promocionais" ao CBSoft 2012 se encerra em 20 dias - em 20 de Agosto.
twitter: https://twitter.com/cbsoftnatal
Facebook: http://www.facebook.com/cbsoft.natal
******************************
******************************
Inscrições para CBSoft (SBES, SBCARS, SBLP, SBMF):
http://cbsoft.dimap.ufrn.br/inscricao.php
*************************************************************
O CBSoft 2012 será realizado na “Cidade do Sol” ( Natal – RN ),
no período de 23 a 28 de setembro, no Hotel Praiamar.
O CBSoft é o principal evento realizado anualmente pela
Sociedade Brasileira de Computação, com a intenção de promover
e incentivar a troca de experiências entre as comunidades científica,
acadêmica e profissional sobre as mais recentes pesquisas, tendências
e inovações – práticas e teóricas – na área de software.
A programação do CBSoft integra quatro eventos tradicionais
organizados pela comunidade brasileira de desenvolvimento de software:
XXVI Simpósio Brasileiro de Engenharia de Software (SBES 2012)
XVI Simpósio Brasileiro de Linguagens de Programação (SBLP 2012)
XV Simpósio Brasileiro de Métodos Formais (SBMF 2012)
VI Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2012)
O CBSoft também hospedará um evento internacional:
IX Conferência Latino-americana em Linguagens de Padrões de Programação (SugarLoafPLop)
Além das trilhas técnicas do SBES, SBLP, SBMF, SBCARS e da trilha da Indústria o evento terá:
*******************
Palestras
*******************
Software: Good, Bad, or Just a Matter of Taste?
Arie van Deursen (Delft University of Technology, Netherlands)
A Engenharia e o Software: reflexões de um aprendiz na Cidade do Sol
Guilherme Horta Travassos (COPPE-UFRJ)
Managing Large Scale, Loosely Coupled Systems
Heiko Ludwig (IBM- Almaden Research Center, EUA)
Ten Years of Automated Code Analysis at Microsoft
Wolfram Schulte (Microsoft Research, EUA)
Services Oriented Architecture (SOA): A Case Study in Healthcare Applications
Patrick C. K. Hung (University of Ontario, Canada)
Concurrent Programming is Easy
Bertrand Meyer (Swiss Federal Institute of Technology)
The Science of Killing Bugs in a Black Box
Bernhard K. Aichernig (Graz University of Technology, Austria)
Invariants as Types
Luís S. Barbosa (Universidade do Minho and INESC TEC, Braga, Portugal)
The Versatile Synchronous Observer
John Rushby (SRI International )
*******************
Minicursos
*******************
Minicurso 1: Introdução ao desenvolvimento com Android
Marcelo Cyreno (LG Corporation)
Minicurso 2: Desenvolvimento para dispositivos móveis com Android + Facebook
Marcelo Cyreno (LG Corporation)
Minicurso 3: Gerenciamento de Projetos – Básico
Mário Henrique Trentim (Instituto de Aeronáutica e Espaço)
Minicurso 4: Tópicos Avançados em Gerenciamento de Projetos
Mário Henrique Trentim (Instituto de Aeronáutica e Espaço)
Minicurso 5: StartupS - Empreendendo a sua Startup de Software no Brasil
Eiran Simis (Centro de Estudos e Sistemas Avançados do Recife - C.E.S.A.R.)
Minicurso 6: Gestão Ágil de Projetos com SCRUM
Izabella Lyra (Centro de Estudos e Sistemas Avançados do Recife – C.E.S.A.R.)
Minicurso 7: Introdução à Plataformas de Computação em Nuvem - Uma
Abordagem Prática
Fred Lopes (UFRN), Thaís Batista (UFRN) e André Almeida (IFRN)
Minicurso 8: Implantando uma Aplicação Real em Várias Plataformas de Nuvem
Fred Lopes (UFRN), Thaís Batista (UFRN) e André Almeida (IFRN)
Minicurso 9: Projeto de Interfaces para Sistemas Contemporâneos
Giselle Rossi (Instituto Nokia de Tecnologia)
*******************
Tutoriais
*******************
Adaptive and Self-managing Systems
Luciano Baresi (Politecnico di Milano, Itália )
SMT (Satisfiability Modulo Theories): um cálculo para a ciência da computação
Leonardo de Moura (Microsoft Research, EUA)
Explorando o Intangível: Um Panorama da Visualização de Software e
suas Aplicações
Marcelo Schots (COPPE/UFRJ), Claudia Werner (COPPE / UFRJ)
Ecossistemas de Software: Estágio Atual, Direções de Pesquisa e a
Prática na Indústria de Software
Claudia Werner (COPPE / UFRJ), Rodrigo Santos (COPPE/UFRJ), Carina Alves (UFPE)
Model-Based Testing for Real-Time Systems
Wilkerson Andrade (UFCG), Gustavo Carvalho (UFPE), Patrícia Machado (UFCG)
*******************
Workshops
*******************
AutoSoft 2012 <http://www.lti.pcs.usp.br/autosoft/>
III Workshop sobre Sistemas de Software Autônomos
LAWASP 2012 <http://www2.dc.ufscar.br/~lawasp/2012/>
VI Workshop Latino-Americano em Desenvolvimento de Software Orientado a Aspectos
SAST 2012 <http://icomp.ufam.edu.br/sast2012/>
VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado
WB-DSDM 2012 <http://web.inf.ufpr.br/dsdm2012/>
III Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos
WBVS 2012 <http://reuse.cos.ufrj.br/wbvs2012/>
II Workshop Brasileiro de Visualização de Software
WESB 2012 <http://www.icomp.ufam.edu.br/wesb2012/>
III Workshop de Engenharia de Software Baseada em Busca
A programação detalhada pode ser obtida em: http://cbsoft.dimap.ufrn.br/programacao.php
O CBSoft 2012 é um evento promovido pela Sociedade Brasileira de
Computação (SBC).
Informações sobre o CBSoft estão disponíveis em
http://cbsoft.dimap.ufrn.br/ e notícias são divulgadas regularmente no
twitter: https://twitter.com/cbsoftnatal e Facebook: http://www.facebook.com/cbsoft.natal