Satellite events
SBMF2008 includes the satellite events below:
LSFA'08
Third Brazilian Workshop on Logical and Semantic Frameworks, with Applications
http://www.mat.ufmg.br/lsfa2008/
BDD'08
B Dissemination Day 2008
http://www.grupo-aes.com.br/site/home/?id=95