26/01/2001, Friday, 16:30–17:30 Room P3.10, Mathematics Building Pedro Resende, Instituto Superior Técnico Sistemas concorrentes que são pontos de quantales