ACM SIGIR 2000 Workshop on Mathematical~Formal Methods in Information Retrieval (MF/IR 2000) July 28, 2000, Athens, Greece Chairs: Sandor Dominich, Mounia Lalmas, Keith van Rijsbergen "The developmentof Western Science relies on the invention of formal logical system (EuclideanGeometry by Greek philosophers), and on the discovery to find out causal relationships by experimentation."(Albert Einstein) Introduction The purpose o f the ACM SIGIR 2000 Workshop on Mathematical/Formal Methods in Information Retrieval (MF/IR 2000) was to promote discussion and interaction among researchers primarily concerned with mathematical (formal) aspects o f IR, especially in the areas of foundations, models, properties, and structures, both from a theoretical and practical point o f view. In this respect the workshop was very successful. As this SIGIR Conference showed too, there is a vast amount o f experimental and theoretical knowledge accumulated in IR so far, and the dynamics with which new results are obtained and new knowledge is gained is impressive, especially with the advent o f the Internet and World Wide Web (WWW). Any IR system is trying to a n s w e r - - or aims at answering m a user's request by way of retrieval, which is implemented using algorithms
/lp/association-for-computing-machinery/workshop-on-mathematical-formal-methods-in-information-retrieval-mf-ir-F0IhjHs0sX