Simpósio · SBC
VerificadoSimpósio Brasileiro de Métodos Formais
Rio de Janeiro/RJ
Presencial
- Onde
- Rio de Janeiro/RJ
Presencial - A partir de
- R$ 50
Graduação · sócio SBC · 1º lote até 26/10 - Próximo prazo
- Camera-readyEm 6 dias · camera-ready · 24/10
01Visão geral
Simpósio brasileiro de métodos formais, fórum internacional sobre especificação, projeto, análise, verificação e validação de sistemas computacionais, incluindo fundamentos teóricos, sistemas ciberfísicos e embarcados, redes neurais, uso industrial e ensino. Anais na Springer LNCS. Edição 2026 no Rio de Janeiro, com a PUC-Rio entre as anfitriãs.
7prazos publicados
6categorias de inscrição
- Para quem
- pesquisadoresestudantes
- Links oficiais
- Anais
- Springer LNCS
horário de Brasília
02Prazos e preços
- 14/08Registro de artigos (prorrogado)encerrado · prorrogado de 01/08 · AoE
- 14/08Submissão de artigos (prorrogado)encerrado · prorrogado de 08/08 · AoE
- 25/09Notificaçãoencerrado · AoE
- 23/10Camera-readypróximo · em 6 dias · AoE
- 26/10Fim do 1º lote e pagamento obrigatório de autoresem 8 dias
- 23/11Fim do 2º loteem 36 dias
- 01/12Evento1 a 4 de dezembro de 2026, terça-feira a sexta-feira · Rio de Janeiro/RJ
- 05/12Fim do 3º loteem 48 dias
Inscrição por categoria e lote
| Categoria | 1º lote · atual até 26/10 | 2º lote até 23/11 | 3º lote até 05/12 |
|---|---|---|---|
| Graduação · sócio SBC | R$ 50 | R$ 60 | R$ 70 |
| Graduação · não sócio | R$ 88 | R$ 99 | R$ 110 |
| Pós-graduação · sócio SBC | R$ 110 | R$ 140 | R$ 160 |
| Profissional · sócio SBC | R$ 200 | R$ 220 | R$ 240 |
| Pós-graduação · não sócio | R$ 256 | R$ 289 | R$ 311 |
| Profissional · não sócio | R$ 595 | R$ 617 | R$ 639 |
Inclui jantar do evento
a partir da sua cidade
03Planeje a ida
Como chegar
Calculando…
Onde ficar
Links sem afiliação: não ganhamos nada com a reserva.
Custo estimado
- Inscrição (menor preço aberto)
- R$ 50
- noites ×
- Total da ida
- R$ 50
Estimativa feita só aqui no aparelho. Preencha os valores que você encontrar nas buscas.
Verificado
Verificado em 18/10/2026 · hoje
Fonte: sbmf2026.github.io ↗ (abre em nova aba)