Título: Teoria da Organizacão Aprendiz Formalizada e Sistemas Multi-Agentes (SMA). Palestrante: Lourival Paulino Resumo: Nosso trabalho de pesquisa envolve duas areas: teorias administrativas e SMA, pois acreditamos que tais areas tem varios pontos de interesse em comum, e que, portanto, a investigao de possiveis contribuicoes de uma possa levar a progressos na outra. Nesse seminario sera apresentada uma visao resumida de novas teorias de administracao, com especial destaque para a teoria da Organizacao Aprendiz de Senge. Alem disso, serao apresentados resumidamente alguns aspectos da area de pesquisa em Sistemas Multi-Agentes, e em particular, do trabalho de especificacao/formalizacao em SMA, utilizando a linguagem formal Z, de Luck e D'Inverno. Finalmente, apresentaremos alguns problemas comuns, tanto as teorias de administracao quanto a area de SMA e trechos do trabalho de formalizacao da teoria de Senge que estamos desenvolvendo como parte de nossa pesquisa.