Ofer @Shanghai
Published:
My collaborator, Professor Ofer Strichman from Technion, Israel, was invited to give a lecture titled “SAT/SMT - The Engines of Reasoning” at the 20th International Summer School held at East China Normal University in Shanghai from July 9 to 12, 2024.
The summer school website is here.
