[finite-model-theory] Verification Mentoring Workshop at CAV 2023: Call for Scholarship Applications — deadline April 14th