WRLA 2026Posted in Formal Methods16th International Workshop on Rewriting Logic and its Applications Event Date: Apr 11, 2026 - Apr 12, 2026 Posted inLocation: Torino, Italy Deadline: Jan 16, 2026
