Submissions

Committees

PROGRAM COMMITTEE CHAIRS

  • Leonardo de Moura, Microsoft Research, USA
  • Juliano Iyoda, UFPE, Brazil

STEERING COMMITTEE

  • Jim Davies, University of Oxford, UK
  • Rohit Gheyi, UFCG, Brazil
  • Juliano Iyoda, UFPE, Brazil (Co-chair)
  • Carroll Morgan, UNSW, Australia
  • Leonardo de Moura, Microsoft Research, USA (Co-chair)
  • David Naumann, Stevens Institute of Technology, USA
  • Marcel Oliveira, UFRN, Brazil
  • Leila Silva UFS, Brazil
  • Adenilso Simao, ICMC-USP, Brazil
  • Jim Woodcock, University of York, UK

PROGRAM COMMITTEE

  • Christiano Braga
  • Narciso Martí-Oliet
  • Marcelo d’Amorim
  • Wilkerson Andrade
  • Aline Andrade
  • David Aspinall
  • Luis Barbosa
  • Michael Butler
  • Ana Cavalcanti
  • Marcio Cornélio
  • Andrea Corradini
  • Jim Davies
  • David Deharbe
  • Ewen Denney
  • Clare Dixon
  • Jorge Figueiredo
  • Rohit Gheyi
  • John Harrison
  • Rolf Hennicker
  • Zhiming Liu
  • Gerald Luettgen
  • Patricia Machado
  • Tiago Massoni
  • Ana Melo
  • Stephan Merz
  • Anamaria Moreira
  • Alvaro Moreira
  • Alexandre Mota
  • Arnaldo Moura
  • David Naumann
  • Daltro Nunes
  • José Oliveira
  • Marcel Oliveira
  • Alexandre Petrenko
  • Leila Ribeiro
  • Augusto Sampaio
  • Leila Silva
  • Adenilso Simão
  • Heike Wehrheim
  • Jim Woodcock