Project Direction and Research Problems
Robert Constable will speak informally about project directions and research problems that look promising (especially from the perspective of a sabbatical).
In particular he will mention briefly subtyping, formalizing
set theory in type theory, constructive model theory and
nonstandard analysis, and reasoning about partial functions.