ABZ 2024 – 10th International Conference on Rigorous State Based Methods

Call for Workshops and Tutorials

Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ABZ 2024. Workshops and tutorials will be held on June 25, 2024 (right before the main conference on June 26 – June 28, 2024).

ABZ workshops provide an opportunity for researchers and practitioners to exchange and explore innovative ideas and challenges on rigorous state-based methods, at an early stage.

In addition, ABZ edition 2024 hosts tutorials on topics related to state-based formal methods from theoretical foundations to practical applications. Tutorials at ABZ provide a valuable opportunity for conference participants to expand their knowledge and skills in specific research and/or practical topics related to rigorous state-based methods.

Workshop Proposal Submissions

The proposal should include the following information:

  • Workshop title and acronym
  • Contact information for the workshop organizers (name, affiliation, email) and the main contact
  • Abstract for ABZ 2024 website (if workshop is accepted)
  • Description of the workshop
  • Format
    • Workshop format (e.g., paper presentations, keynotes, breakout sessions, panel-like discussions) and plans for generating discussions
    • Duration - half day or one day
    • Special services, logistic and/or equipment constraints

Tutorial Proposal Submissions

The proposal should include the following information:

  • Tutorial title
  • Contact information of tutorial presenter(s), including name, affiliation, email
  • Tutorial summary for ABZ 2024 website (if tutorial is accepted)
  • Description of the tutorial
  • Format
    • How tutorial will be conducted (e.g., lecture, hands-on exercises, facilitated group discussion, group activities, role playing, games)
    • Duration - half day or one day
    • Special services, logistic and/or equipment constraints

Submission Process

Proposals can be sent to the chairs claudio.menghi@unibg.it and alexander.raschke@uni-ulm.de before the submission deadline (see here).

Important Dates
Workshop proposal submission: December 01, 2023
Workshop notification: December 15, 2023
Tutorial proposal submission: March 16, 2024