@ondralengal.bsky.social
The third Meeting on String Constraints and Applications (MOSCA'25) will take place at CAV'25 (@confcav.bsky.social) in Zagreb, Croatia on July 22. Early registration is deadline June 22. See mosca2025.github.io for more information, including confirmed speakers. #cav25
MOSCA’25
Meeting on String Constraints and Applications 2025
mosca2025.github.io
May 31, 2025 at 2:12 PM
The third Meeting on String Constraints and Applications (MOSCA'25) will take place at CAV'25 (@confcav.bsky.social) in Zagreb, Croatia on July 22. Early registration is deadline June 22. See mosca2025.github.io for more information, including confirmed speakers. #cav25