Comissão organizadora do evento

O Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS) é organizado por um Comitê de Programa. Esse Comitê, que é responsável geral pela organização do evento e pela publicação dos Anais do WAFERS, é constituída por:

  • András Vörös (Budapest University of Technology and Economics, Hungary)
  • André Luiz de Oliveira (Federal University of Juiz de Fora, Brazil)
  • Antonio Ken Iannillo (University of Luxembourg, Luxembourg)
  • Fumio Machida (Tsukuba University, Japan)
  • Jane Dirce Alves Sandim Eleutério (Federal University of Mato Grosso do Sul, Brazil)
  • Jorge Bernardino (Polytechnic of Coimbra, Coimbra Institute of Engineering - ISEC, Portugal)
  • Leandro Dias da Silva (Federal University of Alagoas, Brazil)
  • Luigi de Simone (University of Naples Federico II, Italy)
  • Pedro Furtado (University of Coimbra, Portugal)
  • Roberto Natella (University of Naples Federico II, Italy)
  • Rogerio de Lemos (University of Kent, UK)
  • Tommaso Zoppi (University of Firenze, Italy)

Para ver os Coordenadores de cada edição do evento e os respectivos integrantes dos Comitês de Programa, que participam do processo de revisão por pares, visite o site de cada edição do evento.

Periodicidade

Os Anais do WAFERS são publicados anualmente.

Idiomas

São aceitos artigos em português e inglês para publicação nos Anais do WAFERS.

Direitos Autorais

Os autores dos artigos publicados nos Anais do WAFERS retêm os direitos autorais de suas obras e autorizam a SBC a publicá-las de acordo com os termos da licença Creative Commons Attribution-NonComercial 4.0 International Public License (CC BY-NC 4.0). Dessa forma, fica permitido aos autores ou a terceiros a reprodução ou distribuição, em parte ou no todo, de material extraído dessas obras, de forma verbatim, adaptada ou remixada, bem como a criação ou produção a partir do conteúdo dessas obras, para fins não comerciais, desde que sejam atribuídos os devidos créditos às criações originais. Cópias das obras não devem ser utilizadas de nenhum modo que implique o endosso da SBC.

Responsável pela publicação

José Viterbo Filho | Diretor de Publicações
Sociedade Brasileira de Computação
Av. Bento Gonçalves, 9500 | Setor 4 | Prédio 43.412 | Sala 219
Bairro Agronomia | Porto Alegre - RS | CEP 91501-970
(51) 3308-6835
publicacoes@sbc.org.br