Informática Teórica Horst von Brand vonbrand@inf.utfsm.cl Andrés Moreira andres.moreira@inf.utfsm.cl Claudio Lobos claudio.lobos@inf.utfsm.cl