PLTL Research Lectures