O Prof. Sebastian Uchitel estará em Porto Alegre, nos dias 17 e 18 de agosto, para visita técnica ao Instituto de Informática. Na ocasião, ele se reunirá com pesquisadores da área de Métodos Formais e Engenharia  de Software. O Prof. Uchitel é coordenador do comitê de programa do ICSE (International Conference on Software Engineering), principal conferência internacional em Engenharia de Software. Ele é  palestrante convidado do SBMF 2009 (Simpósio Brasileiro de Métodos Formais), que ocorre em Gramado dos dias 19 a 21 de agosto.