Workshop II: The Mathematics of High Frequency Financial Markets: Limit Order Books, Frictions, Optimal Execution and Program Trading