Major progress is taking place in AI, particularly in text, image, audio processing. What about more complex reasoning tasks? Are current methods also breaking barriers in logic and mathematics? The even will cover recent results and developments on these topics.