SMT 2025 Workshop Program

[Jochen Hoenicke]

Dear SMT-community,

we have published the program for the SMT Workshop 2025 on our website

  https://smt-workshop.cs.uiowa.edu/2025/program.shtml

The workshop will take place August 10–11, 2025, in Glasgow, associated with SoCS, SAT, and CP 2025.  If you want to attend the workshop and have not yet registered, please note that the final deadline for registration is July 31 and there will be no on-site registration.

If you are a speaker at the workshop, please let us know if you require any changes.  You can change some of the information (abstract, presenter) yourself via the easychair conference system, but we need to manually trigger an update of the program on the website.

Best regards,

  Jochen & Sophie