PSSV 2023Posted in VerificationInternational Workshop on Program Semantics, Specification and Verification Event Date: Nov 03, 2023 - Nov 04, 2023 Posted inLocation: hybrid Deadline: Sep 30, 2023
PROLE 2023Posted in Programming LanguagesXXII Jornadas sobre Programación y Lenguajes Event Date: Sep 12, 2023 - Sep 14, 2023 Posted inLocation: Ciudad Real, Spain Deadline: Apr 25, 2023
