SBMF - Thecnical committees
Program Committee Chairs |
| Adenilso Simão |
ICMC - USP |
| Carroll Morgan |
UNSW, Australia |
Steering Committee |
| Adenilso Simão |
ICMC-USP |
| Carroll Morgan |
UNSW, Australia |
| David Naumann |
Stevens Institute of Technology, USA |
| Jim Davies |
University of Oxford, UK (Co-chair) |
| Jim Woodcock |
University of York, UK |
| Leila Silva |
UFS |
| Marcel Oliveira |
UFRN (Co-chair) |
| Patrícia Machado |
UFCG |
| Rohit Gheyi |
UFCG |
Program Committee
- Aline Andrade (UFBA, Brazil)
- David Aspinall (University of Edinburgh, UK)
- Luis Barbosa (Universidade do Minho, Portugal)
- Michael Butler (University of Southampton, UK)
- Andrew Butterfield (Trinity College Dublin, Ireland)
- Ana Cavalcanti (University of York, UK)
- Marcio Cornelio (UFPE, Brazil)
- Andrea Corradini (Università di Pisa, Italy)
- Jim Davies (University of Oxford, UK)
- David Deharbe (UFRN, Brazil)
- Ewen Denney (RIACS/NASA, USA)
- Clare Dixon (University of Liverpool, UK)
- Jorge Figueiredo (UFCG, Brazil)
- Rohit Gheyi (UFCG, Brazil)
- Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
- Juliano Iyoda (UFPE, Brazil)
- Gerald Luettgen (University of Bamberg, Germany)
- Patricia Machado (UFCG, Brazil)
- Ana Melo (USP, Brazil)
- Stephan Merz (INRIA Lorraine, France)
- Anamaria Moreira (UFRN, Brazil)
- Alvaro Moreira (UFRGS, Brazil)
- Arnaldo Moura (Unicamp, Brazil)
- Alexandre Mota (UFPE, Brazil)
- David Naumann (Stevens Institute of Technology, USA)
- Daltro Nunes (UFRGS, Brazil)
- Jose Oliveira (Universidade do Minho, Portugal)
- Marcel Oliveira (UFRN, Brazil)
- Alberto Pardo (Universidad de la Republica, Uruguay)
- Alexandre Petrenko (CRIM, Canada)
- Leila Ribeiro (UFRGS, Brazil)
- Augusto Sampaio (UFPE, Brazil)
- Leila Silva (UFSE, Brazil)
- Heike Wehrheim (University of Paderborn, Germany)
- Jim Woodcock (University of York, UK)
