Knowing whther or not a particular finitely presented group is finite or infinite is very important in many applications of group theory, especially to geometry and topology. In this talk I will present a procedure which is able to quickly decide this question for almost all examples published in the literature.