Schedule for PDTAI (Provability, Decision Theory and Artificial Intelligence) :