ProgramaçãoA tabela a seguir apresenta a programação técnica do SBMF'09 e do SBLP'09. | | Qua (19/08) | Qui (20/08)
| Sex (21/08) | 08:30-09:00
| Inscrições
| | | | | | 09:00-10:00 | P1 | P2 | P3 | | 10:00-10:30 | Coffee Break | | 10:30-12:00 | SBMF1
| SAST1
| SBMF3 | GD1 | 12:00-14:00
| Almoço | 14:00-15:30
| SBMF2
| SAST2 | SBMF4 | GD2 | | 15:30-16:00 | Coffee Break | | 16:00-17:00 | Painel | MC2
| GD3 | | 17:00-17:30 | | | 17:30-18:00 | MC1 | CEMF
| | | 18:00-19:30 | | | | | | 19:30-20:00 | Abertura | | | | | | 20:00 | Jantar
| | |
LegendaP: Palestra SBMF: Sessão Técnica do SBMF
SAST: Sessão Técnica do SAST
MC: Mini-Curse
GD: Grande Desafio em Verificação de Software CEMF: Reunião do Comitê Especial de Métodos Formais
|
