Research

• Software Engeneering
• Formal Methods
• Programming Languages Semantics
• Compilers
• Languages for Web Services and XML
• Aspect Oriented Programming

Other Areas

• Theology
• Philosophy
• Sociology

Tools

• Miktex
• Tex User Group
• Eclipse

Eventos 2008

• SBLP
• SBES
• SBCARS
• SBMF
• SLE Conference
• Marktoberdorf Summer School