ABZ 2027 – 13th International Conference on Rigorous State Based Methods
Workshops and Tutorials
Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ABZ 2027. Workshops and tutorials will be held on June 14-15, 2027 (right before the main conference). Proposals are solicited in areas related to the conference topics.
A workshop proposal (of no more than 4 pages) should contain the title and acronym of the workshop, the contact information of the workshop organizers, a short abstract for ABZ 2027 website (if accepted), a description of the workshop, the intended format (regular paper presentations, invited talks, panel discussions, breakout sessions, etc.), the expected number of participants, and the duration (half-day or full-day).
A tutorial proposal (of no more than 4 pages) should contain the title of the tutorial, the contact information of the tutorial presenters, a short abstract for ABZ 2027 website (if accepted), a description of the tutorial, the intended format (lectures, hands-on sessions, group activities, etc.), and the duration (half-day or full-day).
Important Dates
| Workshop proposals: | December 7, 2026 |
| Workshop notification: | January 11, 2027 |
| Tutorial proposals: | February 8, 2027 |
| Tutorial notification: | March 22, 2027 |