CONTATO | SIGA A SBC

A Comissão Especial de Métodos Formais da SBC (CEMF) tem como principal missão o desenvolvimento e a disseminação da área de métodos formais no Brasil. Criada em 2004, a comissão tem apoiado a realização de eventos na área tais como o Simpósio Brasileiro de Métodos Formais (SBMF), juntamente com seus eventos satélites, incluindo uma escola internacional na área de refinamentos.

A CE-MF organiza o Simpósio Brasileiro de Métodos Formais (SBMF) , juntamente com seus eventos satélites, incluindo uma escola internacional na área de refinamentos. Durante a SBMF é realizada plenária onde são eleitos o coordenador e comitê gestor da CE-MF.

Lista de execução: https://grupos.ufrgs.br/mailman/listinfo/Cemf-l/

E-mail da coordenação:  Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Página Web: http://comissoes.sbc.org.br/ce-mf/

Revistas, relevantes e meta-critérios adotados

Coordenação

 

Tiago Lima Massoni (UFCG)

Coordenador

Comitê Gestor

 

Adolfo Almeida Duran (UFBA)

Integrante do Comitê Gestor

José Luiz Fiadeiro - (Universidade de Leicester)

Integrante do Comitê Gestor

 

Leila Ribeiro (UFRGS)

Integrante do Comitê Gestor

Mohammad Mousavi (Universidade de Leicester)

Integrante do Comitê Gestor

 

Philip Waddler (Universidade de Edimburgo)

Integrante do Comitê Gestor

Simone André Da Costa Cavalheiro (UFRGS)

Integrante do Comitê Gestor

 

Thierry Lecomte (França)

Integrante do Comitê Gestor

 

 

A Comissão Especial em Linguagens de Programação (CELP)  reúne os pesquisadores, estudiosos e profissionais interessados ​​em  Linguagens de Programação e áreas afins. Ela organiza o Simpósio Brasileiro de Linguagens de Programação (SBLP), evento que faz parte do  Congresso Brasileiro de Software: Teoria e Prática (CBSoft).

Lista de execução:  https://grupos.ufrgs.br/mailman/listinfo/celp-l/

E-mail da coordenação:Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Coordenação

 

Fábio Mascarenhas (FAPESP)

Coordenador

   

Comitê Gestor

 

Carlos Camarão (UFMG)

Integrante do Comitê Gestor

 

Fernando Castor (UFPE)

Integrante do Comitê Gestor

Coordenação

 

Vaninha Vieira dos Santos (UFBA)

Coordenadora

Ana Cristina Bicharra Garcia (UNIRIO)

Vice-Coordenadora

Comitê Gestor

 

Adriana Santarosa Vivacqua (UFRJ)

Integrante do Comitê Gestor

Bruna Diirr Gonçalves da Silva (UNIRIO)

Integrante do Comitê Gestor

 

Nelson Nunes Tenório Junior (UNICESUMAR)

Integrante do Comitê Gestor

Thaís Helena Chaves de Castro (UFAM)

Integrante do Comitê Gestor