Please pursue further papers and talks at our website: http://logic.stanford.edu/POEM Industrial and academic partners are welcome to join the Stanford/SAP cooperation.
