MOSCA’25: Meeting on String Constraints and Applications (CAV’25 workshop)

[Ondra Lengál]

(Apologies for multiple copies.)

The next edition of MOSCA (Meeting on String Constraints and Applications) will take place as a workshop affiliated with the conference CAV’25, on July 22nd 2025 in Zagreb, Croatia.

MOSCA is a forum for all those interested in the design, implementation, usage, evaluation, and theoretical foundations of string constraint solvers, as well as their applications particularly in formal verification of string manipulating software.

A website containing information about the 2025 edition is available at

https://mosca2025.github.io/

We are planning a programme combining a mixture of longer and shorter talks, and are currently soliciting short talk proposals to complete the programme (see the web page). Further information, including registration options can be found on the website for CAV 2025: https://conferences.i-cav.org/2025/. The deadline for early registration is 22nd June.

We warmly encourage you to consider participating in the workshop and hope to see you there! If you have any questions don’t hesitate to get in touch.

Best regards,
Joel Day, Matthew Hague, and Ondřej Lengál
Organisers of MOSCA 2025.