International Conference on Theory and Applications of Satisfiability Testing SAT 2024 Call for Workshop (Tutorial, Competition) Proposals

The SAT'24 Conference Organizing Committee invites proposals for workshops (tutorials and competitions) to be held in conjunction with the main conference in Pune, India. Workshops (and tutorials) offer an opportunity for in-depth discussions, hands-on experiences, and focused exploration of specific areas related to satisfiability testing, broadly construed.

Important dates

Proposal Submission Guidelines

Workshop (tutorial, competition) proposals are to be submitted by email to the SAT 2024 Workshop Chairs (with a copy to Program Chairs) and will be reviewed by the Workshop Chairs, Program Chairs and members of the Steering Committee.

Proposals must consist of the following information:
  1. Title and Scope: Clear description of the workshop's theme and its relevance to SAT'24.
  2. A brief description (up to 120 words) of the event for the website and publicity material.
  3. Organizers: Names, affiliations, contact information, and brief bios of the workshop organizers.
  4. Format: Description of workshop format, including planned activities, sessions, and duration.
  5. Target Audience: Intended participants and estimated audience size.
  6. Call for Papers: Plans for soliciting and reviewing workshop papers, if applicable.
  7. Special Requirements: Any specific technical or logistical requirements for the workshop.

Contact Information

For inquiries and submissions, please contact Workshop Chairs: