In this talk, I will introduce the basic definitions of inverse semigroup theory, with an emphasis on the class of Boolean inverse semigroups, and discuss some key examples. I shall produce some lecture notes beforehand and post them on my website (via news) and make them also available to the organizers.