The two-day workshop is in honor of the 60th birthday of Dexter Kozen, an American theoretical computer scientist. More information can be found at the symposium website.