This volume contains the papers selected for presentation at the Thirteenth - nual International Symposium on Algorithms and Computation (ISAAC 2002) tobeheldinVancouver, CanadaonNovember21-23,2002.Thisisthe?rsttime thatISAAChasventuredintoNorthAmerica, asitistraditionallyheldinthe Asia-Paci?c region. ISAAC is an annual international symposium that covers the very broad areas of algorithms and computing in general. The scope of this symposium - cludes both theoretical and applied research from these ?elds. The main aim of the symposium is to promote the exchange of ideas in this active...

Ne au Pallet, pres de Nantes, en 1079, mort le 21 avril 1142, Pierre Abelard se dresse dans la memoire populaire comme une figure legendaire, celebre par ses amours tumultueuses et sa passion pour Heloise. Cependant, il est aussi ce theologien qui soutenait que les dogmes peuvent etre presentes sous forme rationnelle et qu'il n'y a pas de honte a comprendre ce que l'on croit. Mais surtout, c'est un philosophe logicien, specialiste du Trivium (dialectique, grammaire, rhetorique), particulierement soucieux d'elucider le lien intime qui unit la pensee, la logique et le langage. C'est dans cette...