The tutorial provides an overview of current formal methods used in the area of information retrieval. Particularly, very large data collections are considered.
