Discovery Science

FME 2001: Formal Methods for Increasing Software Productivity FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems..

.The book offers topical sections on hybrid and combined methods, document image analysis, grammar and language methods, structural matching, graph-based methods, shape analysis, clustering and density estimation, object recognition, general methodology, and feature extraction and selection. The 52 revised full papers presented together with five invited papers and 35 posters were carefully reviewed and selected from a total of 130 submissions.

Looking back over these 14 years, key aspects of the conference, such as its structure, organization, the quantity and quality of submissions, the publication policy, and the number of attendants, have significantly changed. The proceedings of IBERAMIA’88 contain 22 full papers grouped into six areas: knowledge representation and reasoning, learning, AI tools, expert systems, language, and vision.

There is currently no description available.

To mark this great event, the Brazilian Arti cial Intelligence (AI) community organized a special int- national joint conference putting together SBIA 2000 (the Brazilian AI Sym- sium) and IBERAMIA 2000 (the Ibero-American AI Conference).

There is currently no description available.

Finally, special thanks go to the PC Assistant Shoko Suzuki for her assistance in the development of web pages and the preparation of these proceedings. I would like to thank the Program Committee members, the Local Arrangements Committee members, and the Steering Committee members for their splendid and hard work. Three distinguished researchers accepted our invitation to present talks: J- frey D. Halpern (Cornell University), and Masami Hagiya (University of Tokyo).

.

I would like to thank the Program Committee members, the Local Arrangements Committee members, and the Steering Committee members for their splendid and hard work. Finally, special thanks go to the PC Assistant Shoko Suzuki for her assistance in the development of web pages and the preparation of these proceedings. The Program Committee would like to thank all those who submitted papers for consideration and the invited speakers. The Program Committee selected the contributed papers from 48 submissions.

Recently, there has been a lot of interest in provably "good" pseudo-random number generators [lo, 4, 14, 31.