Software Engineering

16th International Workshop on Rewriting Logic and its Applications

WRLA 2026

Date 11-12 April 2026
Location Torino, Italy
Venue The Graduate-Hilton Hotel, Eugene, Oregon
Format In Person

About this Conference

WRLA brings together researchers interested in rewriting and its applications. The workshop provides an opportunity to present recent work, discuss research directions, and exchange ideas about rewriting logic, its foundations, and diverse applications.

Call for Papers

The workshop seeks papers in four categories: regular papers (original contributions), tool papers (new tools or tool extensions), education papers (teaching formal methods), and work-in-progress papers. Submissions must follow LNCS style with specific page limits: 16 pages for regular papers, 10 pages for tool/education papers, and 8 pages for work-in-progress papers.

Important Dates

  • Full Paper Submission January 16, 2026
  • Notification February 27, 2026
  • Camera Ready March 13, 2026
  • Conference dates 11-12 April 2026

Registration Fees

Type Amount
Professional $55
Professional $79
Student $50
Student $75