Submissões

Comitês

COORDENAÇÃO GERAL

  • Genaína Rodrigues – UnB
  • Rodrigo Bonifácio – UnB
  • Organização

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

    Comitê Diretivo

    • 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

    Comitê de Programa

    • 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