I will introduce the Swampland program. This is a field which aims to determine consistency constraints on effective theories coming from the requirement of an ultraviolet completion to quantum gravity.
I will then focus on a number of such conjectured constraints, such as the Weak Gravity Conjecture, and report on recent approaches towards rigorously establishing them.
